#include "constantes_gpu.h"

const unsigned int PosNoeudsVariable[14688] ={
/* msg =      0, deg =  6 */    621,   1682,   2421,   3461,   4538,   4885, 
/* msg =      1, deg =  6 */    512,   1019,   1423,   3131,   4097,   4412, 
/* msg =      2, deg =  6 */   1530,   1880,   1911,   3301,   3645,   4486, 
/* msg =      3, deg =  6 */    392,    890,   2331,   2859,   3693,   4250, 
/* msg =      4, deg =  6 */     80,    910,   1185,   2710,   3036,   4172, 
/* msg =      5, deg =  6 */    469,   1068,   1462,   3252,   4096,   4452, 
/* msg =      6, deg =  6 */   1071,   1252,   2030,   3157,   4168,   4626, 
/* msg =      7, deg =  6 */      5,    415,   1427,   2470,   3688,   4709, 
/* msg =      8, deg =  6 */    997,   1315,   1959,   3221,   4097,   4691, 
/* msg =      9, deg =  6 */    982,   1304,   1962,   3213,   4150,   4746, 
/* msg =     10, deg =  6 */    187,   1825,   2047,   2561,   3460,   4032, 
/* msg =     11, deg =  6 */    113,    204,   2141,   3275,   3490,   3639, 
/* msg =     12, deg =  6 */   1180,   1547,   2214,   2781,   3942,   4798, 
/* msg =     13, deg =  6 */   1540,   1775,   1967,   3305,   3611,   4480, 
/* msg =     14, deg =  6 */    363,   1059,   1705,   2737,   3098,   4496, 
/* msg =     15, deg =  6 */    788,   1154,   1629,   3229,   3388,   4280, 
/* msg =     16, deg =  6 */    274,    829,   2311,   3809,   4317,   4881, 
/* msg =     17, deg =  6 */     83,    161,   2057,   3343,   3521,   3555, 
/* msg =     18, deg =  6 */     97,    528,   1365,   2528,   3728,   4698, 
/* msg =     19, deg =  6 */    384,   1039,   1645,   2840,   3079,   4492, 
/* msg =     20, deg =  6 */    102,    851,   1092,   2627,   3087,   4117, 
/* msg =     21, deg =  6 */    349,    868,   2400,   2940,   3760,   4313, 
/* msg =     22, deg =  6 */    608,   1715,   1875,   2543,   2712,   4011, 
/* msg =     23, deg =  6 */    108,    897,   1136,   2675,   2999,   4164, 
/* msg =     24, deg =  6 */   1628,   1879,   1964,   3397,   3662,   4431, 
/* msg =     25, deg =  6 */    364,    931,   2390,   2943,   3748,   4287, 
/* msg =     26, deg =  6 */      9,    443,   1459,   2474,   3726,   4738, 
/* msg =     27, deg =  6 */    229,   1786,   2153,   2448,   3416,   3946, 
/* msg =     28, deg =  6 */    446,   1336,   2437,   2756,   3541,   4000, 
/* msg =     29, deg =  6 */    324,    988,   1702,   2847,   3029,   4623, 
/* msg =     30, deg =  6 */   1201,   1525,   2198,   2822,   3876,   4779, 
/* msg =     31, deg =  6 */    159,   1800,   2100,   2545,   3436,   4041, 
/* msg =     32, deg =  6 */    574,   1744,   2406,   3535,   4600,   4881, 
/* msg =     33, deg =  6 */    704,   1265,   1964,   3108,   4564,   4682, 
/* msg =     34, deg =  6 */    581,   1731,   1827,   2460,   2602,   3983, 
/* msg =     35, deg =  6 */   1115,   1566,   2260,   2776,   3933,   4842, 
/* msg =     36, deg =  6 */    812,   1192,   1587,   3227,   3324,   4320, 
/* msg =     37, deg =  6 */    251,   1438,   2269,   2698,   2856,   3688, 
/* msg =     38, deg =  6 */   1062,   1233,   1999,   3137,   4101,   4686, 
/* msg =     39, deg =  6 */   1156,   1511,   2216,   2852,   3932,   4803, 
/* msg =     40, deg =  6 */   1080,   1240,   1971,   3144,   4134,   4697, 
/* msg =     41, deg =  6 */    475,   1313,   2418,   2790,   3540,   4056, 
/* msg =     42, deg =  6 */   1047,   1265,   1986,   3169,   4194,   4694, 
/* msg =     43, deg =  6 */    355,    825,   2199,   3890,   4253,   4855, 
/* msg =     44, deg =  6 */    334,    816,   2366,   2980,   3726,   4328, 
/* msg =     45, deg =  6 */     11,    892,   1183,   2589,   3104,   4153, 
/* msg =     46, deg =  6 */    337,    842,   2319,   2892,   3675,   4321, 
/* msg =     47, deg =  6 */    312,   1031,   1644,   2753,   3067,   4504, 
/* msg =     48, deg =  6 */    812,   1287,   2031,   3071,   4539,   4749, 
/* msg =     49, deg =  6 */    312,    855,   2229,   3851,   4303,   4821, 
/* msg =     50, deg =  6 */    536,    972,   1410,   3129,   4153,   4401, 
/* msg =     51, deg =  6 */    290,    963,   1661,   2843,   3006,   4548, 
/* msg =     52, deg =  6 */     60,    900,   1163,   2633,   3120,   4161, 
/* msg =     53, deg =  6 */    492,   1083,   1422,   3224,   4186,   4411, 
/* msg =     54, deg =  6 */    322,   1011,   1677,   2800,   3054,   4503, 
/* msg =     55, deg =  6 */    282,   1086,   1660,   2805,   3126,   4582, 
/* msg =     56, deg =  6 */    327,    854,   2244,   3863,   4344,   4844, 
/* msg =     57, deg =  6 */   1105,   1564,   2234,   2721,   3912,   4817, 
/* msg =     58, deg =  6 */    651,   1719,   2314,   3488,   4573,   4778, 
/* msg =     59, deg =  6 */    288,    985,   1635,   2804,   3028,   4565, 
/* msg =     60, deg =  6 */    236,   1860,   2054,   2472,   3494,   4005, 
/* msg =     61, deg =  6 */    301,    863,   2187,   3839,   4299,   4895, 
/* msg =     62, deg =  6 */    279,    849,   2284,   3811,   4330,   4833, 
/* msg =     63, deg =  6 */    330,    906,   2205,   3864,   4249,   4894, 
/* msg =     64, deg =  6 */    649,    771,   2053,   2946,   3887,   4415, 
/* msg =     65, deg =  6 */    595,   1669,   1779,   2486,   2711,   3998, 
/* msg =     66, deg =  6 */    399,    915,   2317,   2985,   3678,   4226, 
/* msg =     67, deg =  6 */    626,   1751,   1796,   2530,   2657,   4028, 
/* msg =     68, deg =  6 */    612,    764,   2068,   2938,   3905,   4464, 
/* msg =     69, deg =  6 */    725,   1095,   1567,   3167,   3322,   4219, 
/* msg =     70, deg =  6 */    553,   1718,   1889,   2577,   2613,   3952, 
/* msg =     71, deg =  6 */    539,   1330,   2403,   2853,   3594,   4025, 
/* msg =     72, deg =  6 */    371,    845,   2214,   3906,   4266,   4871, 
/* msg =     73, deg =  6 */    578,    685,   2155,   2862,   3913,   4431, 
/* msg =     74, deg =  6 */    513,    965,   1382,   3206,   4142,   4371, 
/* msg =     75, deg =  6 */    289,    869,   2299,   3828,   4350,   4848, 
/* msg =     76, deg =  6 */    379,    957,   1709,   2819,   2998,   4574, 
/* msg =     77, deg =  6 */     74,    863,   1141,   2662,   3123,   4125, 
/* msg =     78, deg =  6 */    713,   1145,   1571,   3193,   3370,   4273, 
/* msg =     79, deg =  6 */    311,    906,   2355,   2966,   3714,   4333, 
/* msg =     80, deg =  6 */   1151,   1594,   2289,   2810,   3830,   4873, 
/* msg =     81, deg =  6 */    694,   1249,   1951,   3090,   4551,   4667, 
/* msg =     82, deg =  6 */   1024,   1257,   1998,   3161,   4109,   4750, 
/* msg =     83, deg =  6 */    653,   1722,   1835,   2493,   2631,   4054, 
/* msg =     84, deg =  6 */   1122,   1505,   2257,   2762,   3868,   4845, 
/* msg =     85, deg =  6 */    225,   1828,   2048,   2507,   3457,   4011, 
/* msg =     86, deg =  6 */    678,    680,   2086,   2860,   3820,   4375, 
/* msg =     87, deg =  6 */    109,    172,   2107,   3378,   3463,   3602, 
/* msg =     88, deg =  6 */    147,   1788,   2142,   2556,   3421,   3993, 
/* msg =     89, deg =  6 */    806,   1101,   1526,   3150,   3325,   4230, 
/* msg =     90, deg =  6 */    276,   1018,   1708,   2844,   3056,   4576, 
/* msg =     91, deg =  6 */    744,   1183,   1605,   3224,   3268,   4311, 
/* msg =     92, deg =  6 */   1508,   1863,   2020,   3278,   3620,   4459, 
/* msg =     93, deg =  6 */    270,   1797,   2112,   2518,   3427,   3963, 
/* msg =     94, deg =  6 */    196,   1458,   2261,   2645,   2891,   3695, 
/* msg =     95, deg =  6 */    269,   1831,   2057,   2453,   3463,   3986, 
/* msg =     96, deg =  6 */    133,    173,   2095,   3337,   3514,   3591, 
/* msg =     97, deg =  6 */     87,    898,   1110,   2687,   3049,   4165, 
/* msg =     98, deg =  6 */   1543,   1894,   1917,   3311,   3648,   4355, 
/* msg =     99, deg =  6 */    232,   1854,   2103,   2484,   3483,   3961, 
/* msg =    100, deg =  6 */     89,    464,   1435,   2520,   3802,   4633, 
/* msg =    101, deg =  6 */    486,   1353,   2438,   2795,   3645,   3998, 
/* msg =    102, deg =  6 */    631,   1668,   2323,   3452,   4526,   4804, 
/* msg =    103, deg =  6 */    293,    917,   2321,   2936,   3684,   4292, 
/* msg =    104, deg =  6 */    962,   1284,   1927,   3189,   4203,   4663, 
/* msg =    105, deg =  6 */    457,   1041,   1456,   3144,   4081,   4448, 
/* msg =    106, deg =  6 */    780,   1255,   1998,   3033,   4504,   4719, 
/* msg =    107, deg =  6 */   1181,   1628,   2189,   2844,   3863,   4775, 
/* msg =    108, deg =  6 */    445,   1301,   2322,   2755,   3556,   4058, 
/* msg =    109, deg =  6 */    461,   1225,   2420,   2775,   3576,   4039, 
/* msg =    110, deg =  6 */    964,   1275,   2039,   3177,   4143,   4721, 
/* msg =    111, deg =  6 */    498,    967,   1495,   3147,   4132,   4485, 
/* msg =    112, deg =  6 */     64,    206,   2118,   3282,   3510,   3615, 
/* msg =    113, deg =  6 */    357,    870,   2290,   3895,   4326,   4770, 
/* msg =    114, deg =  6 */    435,   1056,   1484,   3230,   4148,   4473, 
/* msg =    115, deg =  6 */    151,   1428,   2278,   2595,   2919,   3763, 
/* msg =    116, deg =  6 */    741,   1089,   1505,   3203,   3292,   4216, 
/* msg =    117, deg =  6 */    167,   1815,   2107,   2546,   3447,   4053, 
/* msg =    118, deg =  6 */    811,   1174,   1547,   3195,   3386,   4302, 
/* msg =    119, deg =  6 */    248,   1419,   2203,   2700,   2926,   3709, 
/* msg =    120, deg =  6 */    595,   1720,   2356,   3526,   4576,   4865, 
/* msg =    121, deg =  6 */     48,    167,   2137,   3270,   3512,   3633, 
/* msg =    122, deg =  6 */      5,    846,   1131,   2677,   3063,   4107, 
/* msg =    123, deg =  6 */   1589,   1834,   1926,   3355,   3622,   4385, 
/* msg =    124, deg =  6 */    314,    884,   2336,   2889,   3700,   4237, 
/* msg =    125, deg =  6 */    292,    841,   2188,   3826,   4328,   4767, 
/* msg =    126, deg =  6 */    110,    918,   1159,   2691,   3010,   4182, 
/* msg =    127, deg =  6 */    359,    943,   2320,   2972,   3680,   4261, 
/* msg =    128, deg =  6 */    636,    705,   2154,   2880,   3910,   4386, 
/* msg =    129, deg =  6 */     36,    540,   1477,   2501,   3733,   4664, 
/* msg =    130, deg =  6 */    305,   1000,   1654,   2820,   3040,   4579, 
/* msg =    131, deg =  6 */    699,   1163,   1560,   3134,   3312,   4290, 
/* msg =    132, deg =  6 */   1507,   1800,   1987,   3274,   3553,   4417, 
/* msg =    133, deg =  6 */    278,    864,   2422,   2978,   3780,   4305, 
/* msg =    134, deg =  6 */    741,   1253,   2032,   3009,   4588,   4752, 
/* msg =    135, deg =  6 */    416,   1075,   1453,   3134,   4150,   4446, 
/* msg =    136, deg =  6 */    148,   1774,   2102,   2478,   3407,   4048, 
/* msg =    137, deg =  6 */    643,   1726,   1780,   2476,   2651,   4041, 
/* msg =    138, deg =  6 */    599,   1734,   2438,   3482,   4587,   4851, 
/* msg =    139, deg =  6 */    594,   1639,   2429,   3423,   4491,   4775, 
/* msg =    140, deg =  6 */    250,   1819,   2132,   2575,   3454,   4010, 
/* msg =    141, deg =  6 */    496,   1232,   2316,   2811,   3660,   4014, 
/* msg =    142, deg =  6 */    185,   1791,   2151,   2502,   3418,   3972, 
/* msg =    143, deg =  6 */    432,   1305,   2384,   2744,   3593,   3945, 
/* msg =    144, deg =  6 */    292,    877,   2395,   2908,   3753,   4335, 
/* msg =    145, deg =  6 */   1035,   1269,   2005,   3171,   4114,   4757, 
/* msg =    146, deg =  6 */     91,    136,   2106,   3288,   3449,   3601, 
/* msg =    147, deg =  6 */    453,   1078,   1364,   3243,   4166,   4357, 
/* msg =    148, deg =  6 */    367,   1014,   1757,   2822,   3052,   4601, 
/* msg =    149, deg =  6 */    772,   1350,   1927,   3127,   4538,   4647, 
/* msg =    150, deg =  6 */    418,   1326,   2382,   2733,   3543,   3992, 
/* msg =    151, deg =  6 */    249,   1853,   2077,   2510,   3482,   4034, 
/* msg =    152, deg =  6 */    104,    871,   1106,   2643,   3098,   4135, 
/* msg =    153, deg =  6 */    386,    849,   2432,   2910,   3792,   4278, 
/* msg =    154, deg =  6 */    634,   1710,   1817,   2491,   2615,   4037, 
/* msg =    155, deg =  6 */    333,    913,   2434,   2946,   3797,   4235, 
/* msg =    156, deg =  6 */    341,    834,   2415,   2941,   3770,   4331, 
/* msg =    157, deg =  6 */    309,    889,   2411,   2927,   3769,   4347, 
/* msg =    158, deg =  6 */    384,    833,   2357,   2865,   3719,   4291, 
/* msg =    159, deg =  6 */    665,   1649,   1839,   2518,   2697,   4067, 
/* msg =    160, deg =  6 */    523,   1047,   1420,   3239,   4113,   4414, 
/* msg =    161, deg =  6 */    677,    804,   2126,   2977,   3923,   4461, 
/* msg =    162, deg =  6 */   1176,   1503,   2306,   2798,   3854,   4893, 
/* msg =    163, deg =  6 */   1111,   1595,   2311,   2801,   3882,   4895, 
/* msg =    164, deg =  6 */    347,    941,   2352,   2914,   3717,   4245, 
/* msg =    165, deg =  6 */   1627,   1817,   1931,   3393,   3596,   4389, 
/* msg =    166, deg =  6 */   1558,   1786,   1979,   3326,   3627,   4363, 
/* msg =    167, deg =  6 */    469,   1328,   2318,   2782,   3603,   3966, 
/* msg =    168, deg =  6 */    423,   1290,   2369,   2735,   3579,   4071, 
/* msg =    169, deg =  6 */     20,    187,   2062,   3373,   3429,   3558, 
/* msg =    170, deg =  6 */    558,   1673,   1856,   2521,   2585,   3954, 
/* msg =    171, deg =  6 */    316,    946,   2384,   2913,   3744,   4306, 
/* msg =    172, deg =  6 */    485,   1066,   1485,   3174,   4105,   4474, 
/* msg =    173, deg =  6 */    505,   1280,   2439,   2820,   3655,   3962, 
/* msg =    174, deg =  6 */   1133,   1627,   2183,   2777,   3900,   4763, 
/* msg =    175, deg =  6 */     26,    541,   1481,   2491,   3700,   4644, 
/* msg =    176, deg =  6 */    664,   1703,   2417,   3532,   4555,   4856, 
/* msg =    177, deg =  6 */    574,   1655,   1842,   2467,   2715,   3974, 
/* msg =    178, deg =  6 */      9,    154,   2040,   3381,   3479,   3540, 
/* msg =    179, deg =  6 */    481,   1252,   2442,   2793,   3602,   4062, 
/* msg =    180, deg =  6 */    705,   1155,   1501,   3160,   3273,   4281, 
/* msg =    181, deg =  6 */    509,   1270,   2360,   2822,   3600,   4068, 
/* msg =    182, deg =  6 */    345,    877,   2264,   3883,   4232,   4868, 
/* msg =    183, deg =  6 */   1618,   1848,   1908,   3384,   3556,   4428, 
/* msg =    184, deg =  6 */    117,    473,   1436,   2548,   3709,   4668, 
/* msg =    185, deg =  6 */   1042,   1341,   1932,   3247,   4092,   4662, 
/* msg =    186, deg =  6 */    604,    755,   2061,   2929,   3900,   4459, 
/* msg =    187, deg =  6 */    309,    862,   2202,   3843,   4348,   4782, 
/* msg =    188, deg =  6 */    364,   1050,   1718,   2842,   3093,   4537, 
/* msg =    189, deg =  6 */    489,    956,   1483,   3138,   4120,   4478, 
/* msg =    190, deg =  6 */    151,   1796,   2094,   2544,   3426,   4036, 
/* msg =    191, deg =  6 */   1610,   1825,   1988,   3381,   3590,   4426, 
/* msg =    192, deg =  6 */    735,   1256,   1923,   3089,   4494,   4645, 
/* msg =    193, deg =  6 */    709,   1359,   2007,   3115,   4554,   4723, 
/* msg =    194, deg =  6 */     31,    442,   1390,   2496,   3743,   4680, 
/* msg =    195, deg =  6 */    759,   1294,   1962,   3093,   4543,   4685, 
/* msg =    196, deg =  6 */    584,   1762,   2422,   3413,   4621,   4767, 
/* msg =    197, deg =  6 */    400,   1075,   1637,   2817,   3113,   4521, 
/* msg =    198, deg =  6 */    646,   1761,   1815,   2532,   2673,   4046, 
/* msg =    199, deg =  6 */   1000,   1238,   1973,   3140,   4085,   4720, 
/* msg =    200, deg =  6 */    335,    856,   2251,   3866,   4221,   4852, 
/* msg =    201, deg =  6 */    433,    952,   1470,   3146,   4160,   4459, 
/* msg =    202, deg =  6 */    189,   1363,   2309,   2638,   2960,   3768, 
/* msg =    203, deg =  6 */   1584,   1818,   2012,   3352,   3656,   4395, 
/* msg =    204, deg =  6 */    642,    785,   2050,   2961,   3922,   4478, 
/* msg =    205, deg =  6 */     92,    144,   2112,   3299,   3459,   3611, 
/* msg =    206, deg =  6 */    612,   1650,   2444,   3437,   4504,   4789, 
/* msg =    207, deg =  6 */    323,    998,   1690,   2742,   3035,   4583, 
/* msg =    208, deg =  6 */    668,   1695,   1864,   2574,   2589,   4065, 
/* msg =    209, deg =  6 */   1594,   1840,   1932,   3365,   3625,   4398, 
/* msg =    210, deg =  6 */   1514,   1841,   1957,   3281,   3623,   4415, 
/* msg =    211, deg =  6 */    156,   1779,   2109,   2479,   3410,   4062, 
/* msg =    212, deg =  6 */    321,    919,   2330,   2888,   3690,   4219, 
/* msg =    213, deg =  6 */    134,    181,   2101,   3348,   3525,   3594, 
/* msg =    214, deg =  6 */    236,   1367,   2298,   2685,   2928,   3730, 
/* msg =    215, deg =  6 */    595,    765,   2150,   2939,   3920,   4365, 
/* msg =    216, deg =  6 */    772,   1097,   1499,   3200,   3389,   4228, 
/* msg =    217, deg =  6 */    532,   1051,   1426,   3241,   4127,   4421, 
/* msg =    218, deg =  6 */    436,   1001,   1443,   3161,   4190,   4433, 
/* msg =    219, deg =  6 */    639,   1749,   2370,   3507,   4602,   4801, 
/* msg =    220, deg =  6 */    391,    871,   2217,   3923,   4242,   4870, 
/* msg =    221, deg =  6 */    242,   1813,   2126,   2574,   3442,   4007, 
/* msg =    222, deg =  6 */    549,    790,   2121,   2963,   3880,   4398, 
/* msg =    223, deg =  6 */   1132,   1587,   2262,   2747,   3941,   4847, 
/* msg =    224, deg =  6 */    768,   1139,   1613,   3210,   3375,   4270, 
/* msg =    225, deg =  6 */   1183,   1614,   2223,   2805,   3875,   4802, 
/* msg =    226, deg =  6 */    135,    827,   1218,   2666,   3102,   4089, 
/* msg =    227, deg =  6 */     21,    497,   1444,   2486,   3794,   4737, 
/* msg =    228, deg =  6 */    307,    816,   2240,   3846,   4276,   4861, 
/* msg =    229, deg =  6 */    544,    691,   2092,   2870,   3824,   4381, 
/* msg =    230, deg =  6 */    343,    955,   1764,   2807,   2994,   4605, 
/* msg =    231, deg =  6 */    673,   1735,   1816,   2511,   2590,   4077, 
/* msg =    232, deg =  6 */     46,    151,   2125,   3385,   3499,   3619, 
/* msg =    233, deg =  6 */    718,   1096,   1626,   3133,   3360,   4227, 
/* msg =    234, deg =  6 */    422,   1345,   2419,   2734,   3608,   4043, 
/* msg =    235, deg =  6 */    162,   1434,   2258,   2609,   2961,   3785, 
/* msg =    236, deg =  6 */    385,    944,   2273,   3925,   4248,   4841, 
/* msg =    237, deg =  6 */    571,    689,   2108,   2865,   3941,   4465, 
/* msg =    238, deg =  6 */    295,   1007,   1756,   2735,   3047,   4621, 
/* msg =    239, deg =  6 */    451,    973,   1487,   3166,   4178,   4479, 
/* msg =    240, deg =  6 */      4,    836,   1127,   2669,   3055,   4102, 
/* msg =    241, deg =  6 */    571,   1664,   1887,   2554,   2644,   3973, 
/* msg =    242, deg =  6 */   1073,   1311,   1907,   3212,   4155,   4656, 
/* msg =    243, deg =  6 */    710,   1320,   1941,   3075,   4593,   4658, 
/* msg =    244, deg =  6 */     19,    937,   1105,   2700,   3059,   4204, 
/* msg =    245, deg =  6 */   1119,   1611,   2298,   2761,   3884,   4885, 
/* msg =    246, deg =  6 */    770,   1309,   1982,   3111,   4556,   4699, 
/* msg =    247, deg =  6 */     92,    492,   1456,   2523,   3693,   4663, 
/* msg =    248, deg =  6 */    185,   1435,   2188,   2632,   2944,   3696, 
/* msg =    249, deg =  6 */    395,    922,   2179,   3933,   4282,   4776, 
/* msg =    250, deg =  6 */    323,    837,   2261,   3862,   4295,   4876, 
/* msg =    251, deg =  6 */    160,   1778,   2164,   2492,   3409,   4030, 
/* msg =    252, deg =  6 */   1204,   1528,   2178,   2774,   3864,   4761, 
/* msg =    253, deg =  6 */    730,   1193,   1596,   3166,   3346,   4321, 
/* msg =    254, deg =  6 */    623,   1751,   2380,   3414,   4604,   4895, 
/* msg =    255, deg =  6 */    815,   1104,   1531,   3159,   3335,   4236, 
/* msg =    256, deg =  6 */    453,   1358,   2412,   2767,   3572,   4026, 
/* msg =    257, deg =  6 */    660,   1725,   2322,   3500,   4579,   4785, 
/* msg =    258, deg =  6 */    237,   1793,   2167,   2449,   3428,   3959, 
/* msg =    259, deg =  6 */    682,   1235,   1925,   3104,   4516,   4642, 
/* msg =    260, deg =  6 */    738,   1278,   1949,   3073,   4522,   4670, 
/* msg =    261, deg =  6 */     32,    147,   2158,   3330,   3527,   3654, 
/* msg =    262, deg =  6 */    104,    268,   2066,   3341,   3416,   3562, 
/* msg =    263, deg =  6 */    163,   1480,   2176,   2610,   2909,   3742, 
/* msg =    264, deg =  6 */    216,   1834,   2083,   2482,   3468,   3951, 
/* msg =    265, deg =  6 */    669,    814,   2079,   2987,   3815,   4360, 
/* msg =    266, deg =  6 */    474,   1070,   1406,   3213,   4169,   4398, 
/* msg =    267, deg =  6 */    390,    896,   2190,   3927,   4220,   4807, 
/* msg =    268, deg =  6 */    156,   1420,   2218,   2605,   2990,   3788, 
/* msg =    269, deg =  6 */    728,   1092,   1603,   3249,   3307,   4221, 
/* msg =    270, deg =  6 */   1215,   1597,   2208,   2855,   3820,   4792, 
/* msg =    271, deg =  6 */     87,    240,   2072,   3398,   3420,   3571, 
/* msg =    272, deg =  6 */     69,    819,   1100,   2622,   3085,   4082, 
/* msg =    273, deg =  6 */     15,    489,   1373,   2480,   3773,   4652, 
/* msg =    274, deg =  6 */    598,   1697,   1863,   2541,   2696,   3995, 
/* msg =    275, deg =  6 */    473,   1332,   2359,   2788,   3586,   3956, 
/* msg =    276, deg =  6 */    467,    964,   1441,   3175,   4117,   4436, 
/* msg =    277, deg =  6 */    624,   1755,   2387,   3416,   4610,   4766, 
/* msg =    278, deg =  6 */    115,    220,   2155,   3295,   3504,   3653, 
/* msg =    279, deg =  6 */   1209,   1581,   2242,   2815,   3839,   4829, 
/* msg =    280, deg =  6 */    231,   1876,   2168,   2537,   3510,   3979, 
/* msg =    281, deg =  6 */    254,   1448,   2192,   2703,   2931,   3674, 
/* msg =    282, deg =  6 */    497,   1275,   2431,   2812,   3644,   3957, 
/* msg =    283, deg =  6 */    310,    865,   2194,   3844,   4304,   4766, 
/* msg =    284, deg =  6 */   1172,   1600,   2209,   2797,   3869,   4795, 
/* msg =    285, deg =  6 */   1506,   1827,   1922,   3273,   3562,   4474, 
/* msg =    286, deg =  6 */    129,    917,   1175,   2618,   3054,   4178, 
/* msg =    287, deg =  6 */    154,   1431,   2252,   2601,   2959,   3782, 
/* msg =    288, deg =  6 */    131,    157,   2074,   3325,   3501,   3568, 
/* msg =    289, deg =  6 */    287,    983,   1766,   2796,   3020,   4559, 
/* msg =    290, deg =  6 */    348,    925,   2219,   3881,   4270,   4773, 
/* msg =    291, deg =  6 */    239,   1881,   2046,   2538,   3513,   3984, 
/* msg =    292, deg =  6 */    729,   1112,   1508,   3145,   3381,   4240, 
/* msg =    293, deg =  6 */    226,   1794,   2104,   2572,   3429,   3989, 
/* msg =    294, deg =  6 */    667,   1669,   2369,   3418,   4527,   4790, 
/* msg =    295, deg =  6 */    202,   1479,   2303,   2649,   2870,   3692, 
/* msg =    296, deg =  6 */     77,    886,   1166,   2686,   3008,   4148, 
/* msg =    297, deg =  6 */    493,   1329,   2433,   2807,   3554,   4072, 
/* msg =    298, deg =  6 */   1103,   1593,   2283,   2744,   3867,   4870, 
/* msg =    299, deg =  6 */    589,    707,   2122,   2882,   3822,   4487, 
/* msg =    300, deg =  6 */    704,   1209,   1551,   3147,   3309,   4336, 
/* msg =    301, deg =  6 */    217,   1823,   2042,   2506,   3455,   4000, 
/* msg =    302, deg =  6 */   1039,   1255,   1957,   3154,   4126,   4747, 
/* msg =    303, deg =  6 */    193,   1798,   2159,   2503,   3430,   3977, 
/* msg =    304, deg =  6 */    266,   1401,   2231,   2713,   2933,   3753, 
/* msg =    305, deg =  6 */      4,    250,   2143,   3336,   3432,   3636, 
/* msg =    306, deg =  6 */    342,    922,   2441,   2954,   3801,   4242, 
/* msg =    307, deg =  6 */    368,    933,   2258,   3909,   4237,   4827, 
/* msg =    308, deg =  6 */      1,    516,   1394,   2466,   3793,   4674, 
/* msg =    309, deg =  6 */   1535,   1898,   1953,   3303,   3601,   4473, 
/* msg =    310, deg =  6 */    135,    189,   2108,   3359,   3535,   3606, 
/* msg =    311, deg =  6 */    708,   1280,   1997,   3060,   4613,   4718, 
/* msg =    312, deg =  6 */   1214,   1571,   2261,   2726,   3840,   4846, 
/* msg =    313, deg =  6 */     24,    845,   1146,   2604,   3099,   4111, 
/* msg =    314, deg =  6 */    627,   1733,   1894,   2545,   2592,   4029, 
/* msg =    315, deg =  6 */   1595,   1823,   1997,   3366,   3618,   4477, 
/* msg =    316, deg =  6 */    237,   1413,   2222,   2686,   2878,   3687, 
/* msg =    317, deg =  6 */    546,   1673,   2440,   3477,   4529,   4819, 
/* msg =    318, deg =  6 */    561,   1659,   1874,   2553,   2636,   3961, 
/* msg =    319, deg =  6 */    714,   1266,   1957,   3006,   4550,   4679, 
/* msg =    320, deg =  6 */    517,   1005,   1431,   3170,   4095,   4423, 
/* msg =    321, deg =  6 */    282,    914,   2353,   2886,   3712,   4276, 
/* msg =    322, deg =  6 */      0,    938,   1090,   2637,   3017,   4200, 
/* msg =    323, deg =  6 */    803,   1189,   1582,   3218,   3313,   4314, 
/* msg =    324, deg =  6 */    698,   1218,   1610,   3250,   3347,   4345, 
/* msg =    325, deg =  6 */     17,    163,   2171,   3351,   3404,   3669, 
/* msg =    326, deg =  6 */     39,    231,   2070,   3329,   3446,   3564, 
/* msg =    327, deg =  6 */   1608,   1797,   2025,   3376,   3668,   4441, 
/* msg =    328, deg =  6 */    352,    847,   2389,   2864,   3747,   4217, 
/* msg =    329, deg =  6 */    738,   1103,   1609,   3258,   3317,   4226, 
/* msg =    330, deg =  6 */    106,    884,   1121,   2659,   3116,   4146, 
/* msg =    331, deg =  6 */    527,    983,   1455,   3256,   4087,   4443, 
/* msg =    332, deg =  6 */    366,    840,   2196,   3902,   4216,   4846, 
/* msg =    333, deg =  6 */     29,    881,   1187,   2644,   3002,   4145, 
/* msg =    334, deg =  6 */    723,   1157,   1583,   3204,   3382,   4286, 
/* msg =    335, deg =  6 */    337,    878,   2250,   3873,   4320,   4843, 
/* msg =    336, deg =  6 */    710,   1142,   1565,   3191,   3361,   4268, 
/* msg =    337, deg =  6 */    157,   1466,   2272,   2606,   2932,   3737, 
/* msg =    338, deg =  6 */    371,    829,   2376,   2942,   3736,   4270, 
/* msg =    339, deg =  6 */     16,    210,   2102,   3301,   3530,   3595, 
/* msg =    340, deg =  6 */    267,   1454,   2284,   2714,   2875,   3711, 
/* msg =    341, deg =  6 */    454,   1311,   2329,   2763,   3561,   4069, 
/* msg =    342, deg =  6 */    579,   1716,   2423,   3467,   4575,   4836, 
/* msg =    343, deg =  6 */    546,    714,   2103,   2893,   3872,   4449, 
/* msg =    344, deg =  6 */    272,    926,   2212,   3812,   4246,   4831, 
/* msg =    345, deg =  6 */    383,   1040,   1753,   2763,   3080,   4541, 
/* msg =    346, deg =  6 */    505,   1026,   1404,   3219,   4103,   4393, 
/* msg =    347, deg =  6 */    603,   1754,   1852,   2463,   2626,   4006, 
/* msg =    348, deg =  6 */    636,   1755,   1800,   2531,   2665,   4033, 
/* msg =    349, deg =  6 */   1577,   1802,   1977,   3345,   3603,   4457, 
/* msg =    350, deg =  6 */    593,    741,   2139,   2914,   3874,   4425, 
/* msg =    351, deg =  6 */    224,   1392,   2182,   2676,   2899,   3682, 
/* msg =    352, deg =  6 */    192,   1366,   2282,   2644,   2864,   3787, 
/* msg =    353, deg =  6 */    719,   1291,   2004,   3070,   4620,   4726, 
/* msg =    354, deg =  6 */      7,    426,   1443,   2472,   3711,   4724, 
/* msg =    355, deg =  6 */    658,   1752,   1837,   2565,   2596,   4058, 
/* msg =    356, deg =  6 */    125,    499,   1388,   2556,   3746,   4639, 
/* msg =    357, deg =  6 */    389,    826,   2262,   3926,   4305,   4810, 
/* msg =    358, deg =  6 */    503,   1294,   2365,   2810,   3553,   3986, 
/* msg =    359, deg =  6 */    370,    876,   2349,   2920,   3706,   4223, 
/* msg =    360, deg =  6 */    125,    245,   2162,   3279,   3452,   3661, 
/* msg =    361, deg =  6 */     50,    514,   1448,   2515,   3705,   4643, 
/* msg =    362, deg =  6 */    789,   1099,   1580,   3243,   3353,   4225, 
/* msg =    363, deg =  6 */    786,   1223,   1509,   3130,   3304,   4348, 
/* msg =    364, deg =  6 */    752,   1228,   1973,   3013,   4621,   4691, 
/* msg =    365, deg =  6 */    660,   1672,   1771,   2453,   2682,   4063, 
/* msg =    366, deg =  6 */    671,   1662,   2425,   3463,   4515,   4803, 
/* msg =    367, deg =  6 */    181,   1495,   2302,   2630,   2958,   3765, 
/* msg =    368, deg =  6 */    537,    996,   1464,   3141,   4098,   4456, 
/* msg =    369, deg =  6 */   1061,   1281,   2007,   3188,   4212,   4707, 
/* msg =    370, deg =  6 */    138,   1414,   2238,   2585,   2942,   3766, 
/* msg =    371, deg =  6 */    749,   1134,   1525,   3165,   3392,   4259, 
/* msg =    372, deg =  6 */   1505,   1873,   1935,   3272,   3583,   4455, 
/* msg =    373, deg =  6 */    792,   1330,   2001,   2995,   4576,   4720, 
/* msg =    374, deg =  6 */    105,    874,   1119,   2651,   3107,   4141, 
/* msg =    375, deg =  6 */    315,    835,   2370,   2911,   3729,   4282, 
/* msg =    376, deg =  6 */    770,   1133,   1507,   3153,   3351,   4258, 
/* msg =    377, deg =  6 */    632,    782,   2044,   2959,   3918,   4471, 
/* msg =    378, deg =  6 */   1066,   1287,   1989,   3186,   4153,   4646, 
/* msg =    379, deg =  6 */    107,    894,   1133,   2667,   3125,   4158, 
/* msg =    380, deg =  6 */    466,   1263,   2335,   2776,   3661,   3959, 
/* msg =    381, deg =  6 */    127,    896,   1152,   2602,   3034,   4160, 
/* msg =    382, deg =  6 */    238,   1902,   2087,   2531,   3535,   4071, 
/* msg =    383, deg =  6 */    431,   1014,   1424,   3249,   4188,   4416, 
/* msg =    384, deg =  6 */    607,   1720,   1770,   2527,   2633,   4007, 
/* msg =    385, deg =  6 */    684,   1129,   1608,   3139,   3385,   4257, 
/* msg =    386, deg =  6 */   1170,   1623,   2182,   2835,   3850,   4767, 
/* msg =    387, deg =  6 */    677,   1655,   2408,   3409,   4506,   4847, 
/* msg =    388, deg =  6 */    566,   1758,   1840,   2514,   2614,   3964, 
/* msg =    389, deg =  6 */    971,   1343,   1940,   3244,   4184,   4692, 
/* msg =    390, deg =  6 */    458,   1334,   2415,   2769,   3620,   3975, 
/* msg =    391, deg =  6 */    721,   1190,   1591,   3155,   3343,   4315, 
/* msg =    392, deg =  6 */    522,   1023,   1366,   3227,   4170,   4359, 
/* msg =    393, deg =  6 */    362,   1072,   1692,   2803,   3115,   4552, 
/* msg =    394, deg =  6 */     94,    509,   1472,   2525,   3708,   4677, 
/* msg =    395, deg =  6 */    352,    912,   2245,   3893,   4218,   4811, 
/* msg =    396, deg =  6 */    524,    991,   1380,   3169,   4155,   4375, 
/* msg =    397, deg =  6 */    122,    860,   1112,   2698,   2995,   4127, 
/* msg =    398, deg =  6 */   1168,   1501,   2286,   2741,   3832,   4868, 
/* msg =    399, deg =  6 */    204,   1470,   2268,   2653,   2900,   3698, 
/* msg =    400, deg =  6 */   1108,   1568,   2221,   2808,   3910,   4806, 
/* msg =    401, deg =  6 */    468,   1245,   2392,   2778,   3614,   4059, 
/* msg =    402, deg =  6 */    638,   1632,   2338,   3520,   4492,   4889, 
/* msg =    403, deg =  6 */    654,   1711,   1799,   2508,   2702,   4055, 
/* msg =    404, deg =  6 */   1084,   1268,   1906,   3170,   4185,   4640, 
/* msg =    405, deg =  6 */    670,   1749,   1805,   2479,   2675,   4070, 
/* msg =    406, deg =  6 */    139,   1782,   2128,   2555,   3411,   3988, 
/* msg =    407, deg =  6 */   1152,   1540,   2294,   2796,   3901,   4876, 
/* msg =    408, deg =  6 */    628,   1725,   1806,   2561,   2700,   4030, 
/* msg =    409, deg =  6 */    787,   1340,   2028,   3074,   4618,   4751, 
/* msg =    410, deg =  6 */     45,    844,   1180,   2592,   3042,   4110, 
/* msg =    411, deg =  6 */   1615,   1842,   2039,   3383,   3545,   4423, 
/* msg =    412, deg =  6 */    319,   1057,   1751,   2751,   3096,   4617, 
/* msg =    413, deg =  6 */    557,    757,   2165,   2931,   3812,   4416, 
/* msg =    414, deg =  6 */    520,   1031,   1429,   3142,   4110,   4419, 
/* msg =    415, deg =  6 */    113,    445,   1403,   2544,   3678,   4632, 
/* msg =    416, deg =  6 */    742,   1352,   1974,   3105,   4492,   4694, 
/* msg =    417, deg =  6 */   1095,   1599,   2263,   2824,   3855,   4843, 
/* msg =    418, deg =  6 */    500,   1359,   2383,   2813,   3611,   3978, 
/* msg =    419, deg =  6 */    986,   1310,   1944,   3211,   4091,   4684, 
/* msg =    420, deg =  6 */    461,   1080,   1369,   3253,   4172,   4363, 
/* msg =    421, deg =  6 */     71,    484,   1467,   2451,   3753,   4742, 
/* msg =    422, deg =  6 */    791,   1175,   1564,   3207,   3301,   4303, 
/* msg =    423, deg =  6 */     65,    943,   1204,   2673,   3031,   4202, 
/* msg =    424, deg =  6 */    957,   1286,   1936,   3191,   4127,   4724, 
/* msg =    425, deg =  6 */     24,    523,   1464,   2489,   3685,   4630, 
/* msg =    426, deg =  6 */    294,    820,   2208,   3830,   4313,   4814, 
/* msg =    427, deg =  6 */    283,    839,   2181,   3822,   4323,   4888, 
/* msg =    428, deg =  6 */   1617,   1794,   2011,   3389,   3630,   4387, 
/* msg =    429, deg =  6 */    961,   1332,   1934,   3234,   4179,   4685, 
/* msg =    430, deg =  6 */    320,    857,   2236,   3856,   4308,   4829, 
/* msg =    431, deg =  6 */    118,    840,   1217,   2619,   3077,   4104, 
/* msg =    432, deg =  6 */   1059,   1288,   2031,   3192,   4138,   4641, 
/* msg =    433, deg =  6 */    659,    784,   2104,   2960,   3907,   4440, 
/* msg =    434, deg =  6 */     18,    478,   1422,   2483,   3774,   4715, 
/* msg =    435, deg =  6 */   1597,   1831,   2017,   3362,   3667,   4402, 
/* msg =    436, deg =  6 */     25,    532,   1476,   2490,   3689,   4637, 
/* msg =    437, deg =  6 */     38,    423,   1494,   2503,   3749,   4687, 
/* msg =    438, deg =  6 */    102,    491,   1452,   2533,   3724,   4683, 
/* msg =    439, deg =  6 */    766,   1323,   2022,   3029,   4619,   4739, 
/* msg =    440, deg =  6 */    329,   1024,   1678,   2846,   3068,   4607, 
/* msg =    441, deg =  6 */    656,   1643,   1826,   2517,   2689,   4056, 
/* msg =    442, deg =  6 */    985,   1359,   1952,   3263,   4202,   4705, 
/* msg =    443, deg =  6 */     42,    821,   1154,   2704,   3022,   4086, 
/* msg =    444, deg =  6 */    991,   1235,   2000,   3142,   4193,   4715, 
/* msg =    445, deg =  6 */    107,    535,   1490,   2538,   3760,   4726, 
/* msg =    446, deg =  6 */    563,   1766,   2367,   3401,   4620,   4824, 
/* msg =    447, deg =  6 */    182,   1846,   2160,   2524,   3476,   4014, 
/* msg =    448, deg =  6 */    747,   1279,   1943,   3107,   4507,   4660, 
/* msg =    449, deg =  6 */    338,    932,   2345,   2905,   3705,   4238, 
/* msg =    450, deg =  6 */    648,   1699,   2426,   3439,   4557,   4814, 
/* msg =    451, deg =  6 */     68,    456,   1447,   2448,   3735,   4712, 
/* msg =    452, deg =  6 */    754,   1111,   1522,   3222,   3305,   4235, 
/* msg =    453, deg =  6 */    582,   1660,   1848,   2468,   2587,   3979, 
/* msg =    454, deg =  6 */    233,   1485,   2239,   2680,   2861,   3744, 
/* msg =    455, deg =  6 */    371,   1070,   1719,   2745,   3107,   4511, 
/* msg =    456, deg =  6 */    260,   1388,   2190,   2709,   2954,   3756, 
/* msg =    457, deg =  6 */     81,    430,   1414,   2461,   3703,   4685, 
/* msg =    458, deg =  6 */    808,   1132,   1572,   3184,   3264,   4263, 
/* msg =    459, deg =  6 */    637,   1680,   2411,   3417,   4536,   4799, 
/* msg =    460, deg =  6 */     16,    929,   1223,   2629,   3015,   4196, 
/* msg =    461, deg =  6 */    403,   1017,   1694,   2731,   3061,   4530, 
/* msg =    462, deg =  6 */   1070,   1301,   2038,   3203,   4151,   4648, 
/* msg =    463, deg =  6 */    604,   1644,   2437,   3427,   4497,   4782, 
/* msg =    464, deg =  6 */     53,    843,   1108,   2713,   3071,   4109, 
/* msg =    465, deg =  6 */    778,   1310,   1968,   3001,   4542,   4688, 
/* msg =    466, deg =  6 */    547,   1713,   2432,   3410,   4569,   4879, 
/* msg =    467, deg =  6 */    327,    925,   2371,   2983,   3730,   4345, 
/* msg =    468, deg =  6 */    111,    428,   1387,   2542,   3799,   4755, 
/* msg =    469, deg =  6 */    381,    950,   2405,   2952,   3763,   4299, 
/* msg =    470, deg =  6 */     79,    899,   1182,   2702,   3026,   4166, 
/* msg =    471, deg =  6 */    374,   1038,   1749,   2755,   3078,   4535, 
/* msg =    472, deg =  6 */    318,   1067,   1740,   2781,   3110,   4577, 
/* msg =    473, deg =  6 */    789,   1315,   1981,   3010,   4548,   4703, 
/* msg =    474, deg =  6 */    347,   1045,   1688,   2727,   3087,   4620, 
/* msg =    475, deg =  6 */   1498,   1858,   2037,   3265,   3658,   4380, 
/* msg =    476, deg =  6 */    395,   1006,   1691,   2827,   3046,   4562, 
/* msg =    477, deg =  6 */    116,    228,   2161,   3298,   3515,   3657, 
/* msg =    478, deg =  6 */    339,   1025,   1695,   2816,   3064,   4517, 
/* msg =    479, deg =  6 */    476,   1063,   1472,   3164,   4100,   4467, 
/* msg =    480, deg =  6 */    956,   1340,   1968,   3246,   4164,   4680, 
/* msg =    481, deg =  6 */      6,    266,   2157,   3358,   3455,   3650, 
/* msg =    482, deg =  6 */    639,    762,   2085,   2941,   3886,   4423, 
/* msg =    483, deg =  6 */    424,   1062,   1403,   3133,   4211,   4397, 
/* msg =    484, deg =  6 */   1565,   1891,   2002,   3335,   3666,   4460, 
/* msg =    485, deg =  6 */    181,   1873,   2105,   2459,   3504,   4038, 
/* msg =    486, deg =  6 */    421,   1262,   2364,   2731,   3622,   4007, 
/* msg =    487, deg =  6 */   1153,   1619,   2271,   2723,   3816,   4852, 
/* msg =    488, deg =  6 */    147,   1471,   2299,   2594,   2892,   3726, 
/* msg =    489, deg =  6 */   1193,   1523,   2308,   2766,   3861,   4890, 
/* msg =    490, deg =  6 */    249,   1365,   2253,   2696,   2872,   3767, 
/* msg =    491, deg =  6 */    407,    846,   2277,   3943,   4325,   4826, 
/* msg =    492, deg =  6 */    479,   1339,   2326,   2791,   3613,   3970, 
/* msg =    493, deg =  6 */   1068,   1313,   1948,   3216,   4141,   4659, 
/* msg =    494, deg =  6 */    374,    851,   2203,   3907,   4229,   4854, 
/* msg =    495, deg =  6 */   1130,   1616,   2195,   2826,   3911,   4781, 
/* msg =    496, deg =  6 */    647,   1744,   1769,   2547,   2608,   4047, 
/* msg =    497, deg =  6 */    268,   1393,   2197,   2717,   2964,   3761, 
/* msg =    498, deg =  6 */   1104,   1539,   2280,   2729,   3940,   4864, 
/* msg =    499, deg =  6 */     93,    501,   1468,   2524,   3696,   4669, 
/* msg =    500, deg =  6 */    804,   1245,   1959,   3022,   4573,   4676, 
/* msg =    501, deg =  6 */    641,   1671,   1847,   2571,   2701,   4044, 
/* msg =    502, deg =  6 */    703,   1205,   1538,   3138,   3299,   4330, 
/* msg =    503, deg =  6 */    402,    854,   2373,   2882,   3735,   4310, 
/* msg =    504, deg =  6 */    105,    140,   2073,   3344,   3428,   3572, 
/* msg =    505, deg =  6 */    380,    839,   2391,   2951,   3749,   4275, 
/* msg =    506, deg =  6 */    654,   1684,   2401,   3519,   4542,   4840, 
/* msg =    507, deg =  6 */    988,   1296,   1921,   3200,   4166,   4751, 
/* msg =    508, deg =  6 */    448,    957,   1494,   3205,   4168,   4484, 
/* msg =    509, deg =  6 */    208,   1829,   2076,   2498,   3458,   4074, 
/* msg =    510, deg =  6 */    300,    887,   2403,   2917,   3766,   4341, 
/* msg =    511, deg =  6 */    459,    977,   1491,   3168,   4191,   4486, 
/* msg =    512, deg =  6 */      1,    948,   1101,   2645,   3025,   4214, 
/* msg =    513, deg =  6 */    425,   1338,   2354,   2737,   3574,   4019, 
/* msg =    514, deg =  6 */    123,    870,   1122,   2706,   3005,   4131, 
/* msg =    515, deg =  6 */    163,   1807,   2156,   2558,   3435,   4009, 
/* msg =    516, deg =  6 */    115,    462,   1419,   2546,   3694,   4654, 
/* msg =    517, deg =  6 */    801,   1331,   1993,   3028,   4561,   4716, 
/* msg =    518, deg =  6 */    777,   1339,   2036,   3041,   4503,   4754, 
/* msg =    519, deg =  6 */    658,    780,   2060,   2954,   3892,   4422, 
/* msg =    520, deg =  6 */   1604,   1820,   1982,   3369,   3579,   4421, 
/* msg =    521, deg =  6 */    471,   1036,   1475,   3192,   4083,   4465, 
/* msg =    522, deg =  6 */    775,   1091,   1532,   3151,   3365,   4218, 
/* msg =    523, deg =  6 */    663,    725,   2131,   2903,   3915,   4391, 
/* msg =    524, deg =  6 */    179,   1360,   2198,   2626,   2920,   3757, 
/* msg =    525, deg =  6 */    303,   1009,   1762,   2736,   3049,   4491, 
/* msg =    526, deg =  6 */    635,    703,   2111,   2877,   3895,   4364, 
/* msg =    527, deg =  6 */     88,    909,   1115,   2695,   3057,   4171, 
/* msg =    528, deg =  6 */    687,   1149,   1544,   3251,   3300,   4279, 
/* msg =    529, deg =  6 */    137,   1878,   2096,   2513,   3506,   4057, 
/* msg =    530, deg =  6 */   1171,   1520,   2239,   2733,   3812,   4819, 
/* msg =    531, deg =  6 */    734,   1292,   1990,   2992,   4584,   4710, 
/* msg =    532, deg =  6 */    979,   1334,   2035,   3238,   4200,   4689, 
/* msg =    533, deg =  6 */    117,    236,   2168,   3308,   3526,   3668, 
/* msg =    534, deg =  6 */    484,   1324,   2425,   2799,   3551,   4067, 
/* msg =    535, deg =  6 */   1537,   1784,   2009,   3308,   3569,   4476, 
/* msg =    536, deg =  6 */     10,    452,   1471,   2475,   3731,   4746, 
/* msg =    537, deg =  6 */    292,   1077,   1687,   2747,   3118,   4534, 
/* msg =    538, deg =  6 */   1117,   1544,   2295,   2738,   3808,   4879, 
/* msg =    539, deg =  6 */     40,    432,   1375,   2505,   3764,   4701, 
/* msg =    540, deg =  6 */   1129,   1576,   2275,   2794,   3813,   4858, 
/* msg =    541, deg =  6 */    690,   1153,   1557,   3260,   3310,   4284, 
/* msg =    542, deg =  6 */    190,   1852,   2175,   2525,   3487,   4020, 
/* msg =    543, deg =  6 */    788,   1351,   1905,   3051,   4510,   4624, 
/* msg =    544, deg =  6 */    975,   1321,   2028,   3227,   4196,   4682, 
/* msg =    545, deg =  6 */     20,    488,   1439,   2485,   3790,   4730, 
/* msg =    546, deg =  6 */    133,    949,   1203,   2650,   3083,   4215, 
/* msg =    547, deg =  6 */     79,    265,   2167,   3310,   3493,   3663, 
/* msg =    548, deg =  6 */    449,   1039,   1451,   3143,   4212,   4441, 
/* msg =    549, deg =  6 */    952,   1312,   2032,   3220,   4105,   4736, 
/* msg =    550, deg =  6 */    385,    873,   2420,   2899,   3778,   4255, 
/* msg =    551, deg =  6 */     43,    824,   1164,   2712,   3030,   4091, 
/* msg =    552, deg =  6 */    382,   1051,   1750,   2793,   3094,   4500, 
/* msg =    553, deg =  6 */    672,   1667,   2433,   3465,   4522,   4811, 
/* msg =    554, deg =  6 */    369,    900,   2294,   3904,   4258,   4890, 
/* msg =    555, deg =  6 */   1144,   1498,   2210,   2843,   3927,   4796, 
/* msg =    556, deg =  6 */    566,    766,   2172,   2940,   3817,   4429, 
/* msg =    557, deg =  6 */    291,    953,   1665,   2813,   2992,   4588, 
/* msg =    558, deg =  6 */    384,    941,   2281,   3924,   4292,   4858, 
/* msg =    559, deg =  6 */    614,   1670,   1890,   2503,   2662,   4015, 
/* msg =    560, deg =  6 */    648,    759,   2094,   2935,   3855,   4366, 
/* msg =    561, deg =  6 */    414,   1322,   2339,   2727,   3559,   4002, 
/* msg =    562, deg =  6 */    687,   1260,   1972,   3032,   4585,   4690, 
/* msg =    563, deg =  6 */    665,    737,   2051,   2915,   3943,   4419, 
/* msg =    564, deg =  6 */    344,    837,   2382,   2862,   3742,   4348, 
/* msg =    565, deg =  6 */    514,   1013,   1490,   3218,   4164,   4482, 
/* msg =    566, deg =  6 */    761,   1148,   1543,   3176,   3278,   4278, 
/* msg =    567, deg =  6 */    592,   1759,   1798,   2582,   2653,   3992, 
/* msg =    568, deg =  6 */    456,    960,   1362,   3214,   4180,   4353, 
/* msg =    569, deg =  6 */    564,   1641,   1836,   2466,   2707,   3962, 
/* msg =    570, deg =  6 */     56,    539,   1462,   2572,   3796,   4713, 
/* msg =    571, deg =  6 */    349,   1022,   1713,   2767,   3063,   4603, 
/* msg =    572, deg =  6 */     51,    503,   1416,   2567,   3752,   4679, 
/* msg =    573, deg =  6 */    977,   1339,   1922,   3242,   4128,   4629, 
/* msg =    574, deg =  6 */     32,    451,   1395,   2497,   3748,   4695, 
/* msg =    575, deg =  6 */    619,   1757,   2324,   3506,   4615,   4874, 
/* msg =    576, deg =  6 */    470,   1237,   2427,   2783,   3587,   4044, 
/* msg =    577, deg =  6 */    121,    470,   1491,   2552,   3714,   4739, 
/* msg =    578, deg =  6 */    210,   1484,   2310,   2657,   2879,   3703, 
/* msg =    579, deg =  6 */   1049,   1285,   2016,   3190,   4132,   4634, 
/* msg =    580, deg =  6 */    548,   1695,   2328,   3533,   4551,   4784, 
/* msg =    581, deg =  6 */     86,    895,   1099,   2679,   3047,   4159, 
/* msg =    582, deg =  6 */    296,    895,   2444,   2870,   3807,   4330, 
/* msg =    583, deg =  6 */    223,   1361,   2214,   2667,   2984,   3700, 
/* msg =    584, deg =  6 */    746,   1307,   2003,   3011,   4606,   4725, 
/* msg =    585, deg =  6 */    607,    810,   2120,   2988,   3878,   4353, 
/* msg =    586, deg =  6 */    696,   1151,   1624,   3157,   3270,   4276, 
/* msg =    587, deg =  6 */    333,    885,   2224,   3870,   4236,   4804, 
/* msg =    588, deg =  6 */   1118,   1570,   2241,   2730,   3924,   4825, 
/* msg =    589, deg =  6 */    365,   1037,   1731,   2783,   3074,   4616, 
/* msg =    590, deg =  6 */    114,    212,   2147,   3285,   3502,   3642, 
/* msg =    591, deg =  6 */    508,   1226,   2390,   2821,   3616,   3991, 
/* msg =    592, deg =  6 */     71,    832,   1116,   2638,   3096,   4101, 
/* msg =    593, deg =  6 */    350,    828,   2182,   3886,   4341,   4824, 
/* msg =    594, deg =  6 */     16,    498,   1377,   2481,   3778,   4660, 
/* msg =    595, deg =  6 */    340,    858,   2392,   2931,   3755,   4307, 
/* msg =    596, deg =  6 */    584,   1665,   1861,   2469,   2595,   3984, 
/* msg =    597, deg =  6 */    755,   1239,   1985,   3123,   4505,   4707, 
/* msg =    598, deg =  6 */   1113,   1580,   2229,   2816,   3914,   4814, 
/* msg =    599, deg =  6 */    699,   1275,   1991,   3052,   4607,   4711, 
/* msg =    600, deg =  6 */    143,   1789,   2080,   2543,   3422,   4031, 
/* msg =    601, deg =  6 */    493,    995,   1396,   3246,   4209,   4386, 
/* msg =    602, deg =  6 */    561,   1698,   2407,   3455,   4553,   4821, 
/* msg =    603, deg =  6 */     80,    421,   1401,   2460,   3692,   4678, 
/* msg =    604, deg =  6 */    635,   1666,   2386,   3498,   4521,   4826, 
/* msg =    605, deg =  6 */     82,    153,   2050,   3333,   3518,   3544, 
/* msg =    606, deg =  6 */    233,   1833,   2063,   2508,   3467,   4017, 
/* msg =    607, deg =  6 */    497,   1022,   1393,   3209,   4089,   4388, 
/* msg =    608, deg =  6 */    732,   1348,   1967,   3096,   4622,   4687, 
/* msg =    609, deg =  6 */   1573,   1798,   1972,   3342,   3599,   4451, 
/* msg =    610, deg =  6 */     85,    437,   1402,   2516,   3770,   4741, 
/* msg =    611, deg =  6 */    166,   1827,   2146,   2522,   3462,   3998, 
/* msg =    612, deg =  6 */    380,   1073,   1725,   2754,   3116,   4518, 
/* msg =    613, deg =  6 */   1598,   1776,   2013,   3363,   3653,   4429, 
/* msg =    614, deg =  6 */   1189,   1575,   2186,   2829,   3935,   4770, 
/* msg =    615, deg =  6 */    260,   1885,   2075,   2475,   3519,   4026, 
/* msg =    616, deg =  6 */    444,   1067,   1488,   3233,   4152,   4480, 
/* msg =    617, deg =  6 */    668,    794,   2118,   2968,   3919,   4455, 
/* msg =    618, deg =  6 */    809,   1234,   1932,   3078,   4531,   4653, 
/* msg =    619, deg =  6 */    795,   1311,   1954,   3067,   4506,   4673, 
/* msg =    620, deg =  6 */    269,   1446,   2251,   2718,   2904,   3718, 
/* msg =    621, deg =  6 */    100,    420,   1386,   2531,   3754,   4727, 
/* msg =    622, deg =  6 */     66,    485,   1400,   2582,   3737,   4657, 
/* msg =    623, deg =  6 */    582,    732,   2170,   2909,   3873,   4432, 
/* msg =    624, deg =  6 */      0,    506,   1389,   2465,   3789,   4666, 
/* msg =    625, deg =  6 */    747,   1195,   1541,   3202,   3316,   4326, 
/* msg =    626, deg =  6 */    463,   1049,   1390,   3193,   4157,   4379, 
/* msg =    627, deg =  6 */    553,    687,   2138,   2859,   3940,   4473, 
/* msg =    628, deg =  6 */    707,   1318,   1920,   3101,   4574,   4640, 
/* msg =    629, deg =  6 */    445,   1011,   1454,   3171,   4196,   4447, 
/* msg =    630, deg =  6 */    575,   1696,   2334,   3502,   4556,   4841, 
/* msg =    631, deg =  6 */    296,    905,   2278,   3836,   4334,   4794, 
/* msg =    632, deg =  6 */     55,    530,   1449,   2571,   3784,   4706, 
/* msg =    633, deg =  6 */    649,   1651,   2353,   3405,   4505,   4768, 
/* msg =    634, deg =  6 */    783,   1258,   2012,   3008,   4534,   4729, 
/* msg =    635, deg =  6 */    359,    909,   2253,   3892,   4262,   4828, 
/* msg =    636, deg =  6 */     92,    941,   1151,   2591,   3088,   4206, 
/* msg =    637, deg =  6 */    222,   1423,   2301,   2671,   2903,   3780, 
/* msg =    638, deg =  6 */    701,   1317,   1935,   3066,   4587,   4650, 
/* msg =    639, deg =  6 */    222,   1882,   2065,   2529,   3514,   4054, 
/* msg =    640, deg =  6 */   1140,   1589,   2282,   2802,   3818,   4866, 
/* msg =    641, deg =  6 */    170,   1447,   2265,   2617,   2969,   3797, 
/* msg =    642, deg =  6 */    455,   1045,   1378,   3191,   4145,   4373, 
/* msg =    643, deg =  6 */    362,    901,   2279,   3900,   4345,   4867, 
/* msg =    644, deg =  6 */    141,   1449,   2257,   2590,   2913,   3721, 
/* msg =    645, deg =  6 */    720,   1107,   1503,   3136,   3369,   4233, 
/* msg =    646, deg =  6 */    423,   1052,   1392,   3259,   4205,   4384, 
/* msg =    647, deg =  6 */    431,   1357,   2426,   2743,   3621,   4055, 
/* msg =    648, deg =  6 */    400,    924,   2325,   2858,   3682,   4232, 
/* msg =    649, deg =  6 */    681,   1302,   1914,   3048,   4575,   4636, 
/* msg =    650, deg =  6 */    663,   1717,   1803,   2509,   2710,   4061, 
/* msg =    651, deg =  6 */    518,   1238,   2397,   2830,   3627,   3996, 
/* msg =    652, deg =  6 */    953,   1264,   2024,   3168,   4129,   4713, 
/* msg =    653, deg =  6 */    334,   1080,   1758,   2799,   3120,   4597, 
/* msg =    654, deg =  6 */    183,   1460,   2307,   2627,   2948,   3794, 
/* msg =    655, deg =  6 */     60,    439,   1495,   2576,   3691,   4751, 
/* msg =    656, deg =  6 */    462,   1316,   2336,   2771,   3571,   4074, 
/* msg =    657, deg =  6 */    259,   1900,   2114,   2553,   3533,   3970, 
/* msg =    658, deg =  6 */    711,   1160,   1606,   3216,   3298,   4293, 
/* msg =    659, deg =  6 */    794,   1233,   1944,   3012,   4565,   4668, 
/* msg =    660, deg =  6 */    399,   1064,   1760,   2809,   3104,   4514, 
/* msg =    661, deg =  6 */     51,    831,   1094,   2697,   3053,   4090, 
/* msg =    662, deg =  6 */    530,   1325,   2395,   2844,   3591,   4021, 
/* msg =    663, deg =  6 */    381,    823,   2248,   3914,   4300,   4802, 
/* msg =    664, deg =  6 */   1513,   1869,   2027,   3280,   3631,   4464, 
/* msg =    665, deg =  6 */    664,    734,   2137,   2911,   3927,   4396, 
/* msg =    666, deg =  6 */   1574,   1887,   1966,   3343,   3578,   4478, 
/* msg =    667, deg =  6 */    557,   1746,   1834,   2513,   2606,   3959, 
/* msg =    668, deg =  6 */    703,   1261,   1958,   3099,   4558,   4675, 
/* msg =    669, deg =  6 */   1569,   1870,   1916,   3340,   3621,   4482, 
/* msg =    670, deg =  6 */    186,   1463,   2280,   2633,   2987,   3676, 
/* msg =    671, deg =  6 */     82,    921,   1207,   2590,   3048,   4189, 
/* msg =    672, deg =  6 */    706,   1202,   1581,   3226,   3284,   4332, 
/* msg =    673, deg =  6 */    639,   1658,   1833,   2570,   2693,   4039, 
/* msg =    674, deg =  6 */    479,   1079,   1466,   3261,   4109,   4458, 
/* msg =    675, deg =  6 */    727,   1263,   1930,   3062,   4508,   4648, 
/* msg =    676, deg =  6 */    252,   1872,   2068,   2474,   3508,   4022, 
/* msg =    677, deg =  6 */    212,   1474,   2276,   2661,   2908,   3710, 
/* msg =    678, deg =  6 */    734,   1098,   1573,   3169,   3332,   4224, 
/* msg =    679, deg =  6 */    263,   1770,   2066,   2541,   3401,   4013, 
/* msg =    680, deg =  6 */    235,   1875,   2095,   2550,   3509,   3948, 
/* msg =    681, deg =  6 */     67,    230,   2138,   3305,   3534,   3634, 
/* msg =    682, deg =  6 */   1221,   1532,   2225,   2751,   3899,   4812, 
/* msg =    683, deg =  6 */    349,    860,   2283,   3882,   4312,   4762, 
/* msg =    684, deg =  6 */    293,   1042,   1717,   2757,   3082,   4557, 
/* msg =    685, deg =  6 */    762,   1094,   1630,   3197,   3380,   4223, 
/* msg =    686, deg =  6 */   1500,   1867,   1921,   3269,   3571,   4440, 
/* msg =    687, deg =  6 */    657,    760,   2100,   2936,   3860,   4373, 
/* msg =    688, deg =  6 */    434,   1297,   2417,   2749,   3573,   4066, 
/* msg =    689, deg =  6 */    350,    844,   2423,   2950,   3783,   4337, 
/* msg =    690, deg =  6 */    407,    838,   2428,   2979,   3790,   4324, 
/* msg =    691, deg =  6 */    459,   1233,   2385,   2770,   3604,   4053, 
/* msg =    692, deg =  6 */     21,    822,   1120,   2716,   3078,   4087, 
/* msg =    693, deg =  6 */    697,   1236,   1911,   3034,   4617,   4627, 
/* msg =    694, deg =  6 */   1549,   1872,   1989,   3314,   3651,   4447, 
/* msg =    695, deg =  6 */    716,   1241,   1910,   3077,   4609,   4631, 
/* msg =    696, deg =  6 */    338,    947,   2177,   3874,   4234,   4832, 
/* msg =    697, deg =  6 */    417,   1281,   2401,   2732,   3558,   4049, 
/* msg =    698, deg =  6 */    544,   1703,   1797,   2456,   2706,   3948, 
/* msg =    699, deg =  6 */    404,    934,   2186,   3937,   4288,   4791, 
/* msg =    700, deg =  6 */    190,   1391,   2271,   2639,   2868,   3749, 
/* msg =    701, deg =  6 */     25,    848,   1158,   2612,   3108,   4116, 
/* msg =    702, deg =  6 */   1043,   1293,   1923,   3194,   4117,   4637, 
/* msg =    703, deg =  6 */    115,    817,   1199,   2595,   3050,   4080, 
/* msg =    704, deg =  6 */     98,    192,   2160,   3345,   3508,   3656, 
/* msg =    705, deg =  6 */    158,   1822,   2140,   2521,   3452,   3985, 
/* msg =    706, deg =  6 */    601,    720,   2142,   2900,   3838,   4362, 
/* msg =    707, deg =  6 */    321,   1020,   1664,   2837,   3058,   4599, 
/* msg =    708, deg =  6 */    404,   1008,   1696,   2835,   3048,   4570, 
/* msg =    709, deg =  6 */     33,    155,   2164,   3340,   3529,   3658, 
/* msg =    710, deg =  6 */    399,    907,   2197,   3932,   4225,   4815, 
/* msg =    711, deg =  6 */    119,    453,   1474,   2550,   3698,   4725, 
/* msg =    712, deg =  6 */    336,    938,   2386,   2857,   3746,   4227, 
/* msg =    713, deg =  6 */    381,   1071,   1728,   2723,   3111,   4558, 
/* msg =    714, deg =  6 */    501,    958,   1428,   3235,   4192,   4418, 
/* msg =    715, deg =  6 */    637,   1738,   1900,   2546,   2600,   4034, 
/* msg =    716, deg =  6 */    220,   1841,   2170,   2470,   3473,   3987, 
/* msg =    717, deg =  6 */    751,   1100,   1518,   3212,   3303,   4229, 
/* msg =    718, deg =  6 */   1159,   1514,   2204,   2803,   3921,   4785, 
/* msg =    719, deg =  6 */    214,   1412,   2293,   2663,   2894,   3775, 
/* msg =    720, deg =  6 */    715,   1276,   1971,   3117,   4572,   4689, 
/* msg =    721, deg =  6 */    589,   1682,   1899,   2556,   2660,   3991, 
/* msg =    722, deg =  6 */    540,   1274,   2353,   2854,   3565,   4054, 
/* msg =    723, deg =  6 */   1572,   1816,   1905,   3341,   3607,   4373, 
/* msg =    724, deg =  6 */   1218,   1601,   2222,   2727,   3824,   4807, 
/* msg =    725, deg =  6 */   1057,   1308,   1943,   3214,   4135,   4651, 
/* msg =    726, deg =  6 */    367,    919,   2259,   3903,   4268,   4835, 
/* msg =    727, deg =  6 */    719,   1179,   1578,   3146,   3333,   4309, 
/* msg =    728, deg =  6 */    509,    961,   1439,   3245,   4204,   4431, 
/* msg =    729, deg =  6 */    667,   1766,   1843,   2566,   2604,   4069, 
/* msg =    730, deg =  6 */    499,   1268,   2321,   2809,   3617,   4078, 
/* msg =    731, deg =  6 */    763,   1116,   1535,   3231,   3315,   4242, 
/* msg =    732, deg =  6 */    255,   1901,   2059,   2540,   3534,   4002, 
/* msg =    733, deg =  6 */    124,    873,   1134,   2714,   3014,   4137, 
/* msg =    734, deg =  6 */    643,    796,   2102,   2973,   3938,   4361, 
/* msg =    735, deg =  6 */    576,   1633,   1859,   2499,   2630,   3981, 
/* msg =    736, deg =  6 */    744,   1227,   1979,   3114,   4498,   4701, 
/* msg =    737, deg =  6 */     58,    887,   1149,   2617,   3110,   4151, 
/* msg =    738, deg =  6 */   1040,   1354,   1979,   3260,   4082,   4671, 
/* msg =    739, deg =  6 */   1051,   1276,   1992,   3178,   4206,   4701, 
/* msg =    740, deg =  6 */   1185,   1538,   2253,   2750,   3829,   4834, 
/* msg =    741, deg =  6 */   1022,   1246,   1960,   3147,   4171,   4664, 
/* msg =    742, deg =  6 */    230,   1429,   2308,   2679,   2911,   3791, 
/* msg =    743, deg =  6 */   1139,   1507,   2307,   2740,   3896,   4889, 
/* msg =    744, deg =  6 */   1606,   1854,   1938,   3374,   3636,   4405, 
/* msg =    745, deg =  6 */   1190,   1519,   2301,   2758,   3848,   4883, 
/* msg =    746, deg =  6 */    266,   1837,   2144,   2577,   3466,   4028, 
/* msg =    747, deg =  6 */    671,    702,   2083,   2876,   3863,   4436, 
/* msg =    748, deg =  6 */     63,    198,   2104,   3272,   3500,   3605, 
/* msg =    749, deg =  6 */    217,   1468,   2216,   2664,   2979,   3728, 
/* msg =    750, deg =  6 */    515,   1037,   1409,   3228,   4108,   4400, 
/* msg =    751, deg =  6 */    990,   1283,   2009,   3185,   4169,   4740, 
/* msg =    752, deg =  6 */   1216,   1543,   2213,   2839,   3892,   4794, 
/* msg =    753, deg =  6 */    287,    891,   2263,   3820,   4315,   4779, 
/* msg =    754, deg =  6 */    214,   1877,   2058,   2528,   3511,   4042, 
/* msg =    755, deg =  6 */   1560,   1874,   1952,   3333,   3574,   4471, 
/* msg =    756, deg =  6 */    344,    910,   2238,   3880,   4349,   4803, 
/* msg =    757, deg =  6 */    760,   1121,   1502,   3144,   3340,   4251, 
/* msg =    758, deg =  6 */    146,   1417,   2245,   2593,   2951,   3769, 
/* msg =    759, deg =  6 */    793,   1271,   2011,   3053,   4526,   4734, 
/* msg =    760, deg =  6 */   1136,   1496,   2190,   2786,   3905,   4771, 
/* msg =    761, deg =  6 */    275,    896,   2442,   2926,   3805,   4273, 
/* msg =    762, deg =  6 */    403,    893,   2435,   2916,   3793,   4268, 
/* msg =    763, deg =  6 */    358,   1023,   1730,   2738,   3059,   4513, 
/* msg =    764, deg =  6 */    218,   1787,   2097,   2571,   3417,   3976, 
/* msg =    765, deg =  6 */     70,    830,   1111,   2630,   3095,   4095, 
/* msg =    766, deg =  6 */    393,    843,   2365,   2874,   3722,   4297, 
/* msg =    767, deg =  6 */    622,   1663,   2315,   3440,   4519,   4797, 
/* msg =    768, deg =  6 */    288,    885,   2437,   2860,   3795,   4325, 
/* msg =    769, deg =  6 */    617,   1765,   2404,   3470,   4619,   4861, 
/* msg =    770, deg =  6 */   1525,   1875,   2034,   3290,   3634,   4479, 
/* msg =    771, deg =  6 */    401,    901,   2338,   2869,   3696,   4257, 
/* msg =    772, deg =  6 */   1512,   1815,   1993,   3284,   3566,   4430, 
/* msg =    773, deg =  6 */   1083,   1316,   1913,   3222,   4161,   4670, 
/* msg =    774, deg =  6 */    633,    786,   2088,   2965,   3934,   4355, 
/* msg =    775, deg =  6 */   1519,   1832,   1928,   3283,   3572,   4481, 
/* msg =    776, deg =  6 */    955,   1251,   1976,   3153,   4140,   4711, 
/* msg =    777, deg =  6 */   1621,   1838,   1994,   3390,   3593,   4432, 
/* msg =    778, deg =  6 */    626,    696,   2146,   2872,   3897,   4380, 
/* msg =    779, deg =  6 */    561,    686,   2101,   2863,   3929,   4460, 
/* msg =    780, deg =  6 */    693,   1146,   1589,   3205,   3285,   4274, 
/* msg =    781, deg =  6 */    391,    880,   2324,   2986,   3681,   4246, 
/* msg =    782, deg =  6 */    963,   1323,   1909,   3229,   4118,   4744, 
/* msg =    783, deg =  6 */    452,   1055,   1446,   3232,   4085,   4439, 
/* msg =    784, deg =  6 */    758,   1206,   1546,   3211,   3327,   4331, 
/* msg =    785, deg =  6 */    364,    938,   2234,   3897,   4280,   4787, 
/* msg =    786, deg =  6 */    527,   1286,   2376,   2839,   3623,   3950, 
/* msg =    787, deg =  6 */    232,   1403,   2189,   2684,   2907,   3694, 
/* msg =    788, deg =  6 */    173,   1867,   2098,   2458,   3502,   4025, 
/* msg =    789, deg =  6 */    116,    828,   1202,   2603,   3058,   4093, 
/* msg =    790, deg =  6 */   1562,   1882,   1980,   3329,   3617,   4396, 
/* msg =    791, deg =  6 */   1149,   1608,   2256,   2851,   3811,   4844, 
/* msg =    792, deg =  6 */    411,   1250,   2356,   2722,   3609,   3994, 
/* msg =    793, deg =  6 */    406,    961,   1748,   2778,   3001,   4538, 
/* msg =    794, deg =  6 */    448,   1293,   2394,   2765,   3650,   4033, 
/* msg =    795, deg =  6 */     29,    425,   1374,   2494,   3727,   4665, 
/* msg =    796, deg =  6 */     67,    494,   1413,   2583,   3750,   4671, 
/* msg =    797, deg =  6 */    134,    435,   1458,   2565,   3683,   4710, 
/* msg =    798, deg =  6 */     98,    537,   1370,   2529,   3739,   4704, 
/* msg =    799, deg =  6 */    641,    772,   2091,   2950,   3891,   4428, 
/* msg =    800, deg =  6 */    483,   1073,   1411,   3223,   4181,   4405, 
/* msg =    801, deg =  6 */     93,    152,   2120,   3309,   3469,   3616, 
/* msg =    802, deg =  6 */     62,    913,   1179,   2649,   3004,   4179, 
/* msg =    803, deg =  6 */    426,   1292,   2409,   2741,   3563,   4063, 
/* msg =    804, deg =  6 */    273,    894,   2247,   3808,   4267,   4892, 
/* msg =    805, deg =  6 */    685,   1357,   2027,   3016,   4604,   4750, 
/* msg =    806, deg =  6 */    194,   1899,   2078,   2568,   3529,   3954, 
/* msg =    807, deg =  6 */     36,    207,   2042,   3306,   3421,   3537, 
/* msg =    808, deg =  6 */     75,    865,   1144,   2670,   2997,   4129, 
/* msg =    809, deg =  6 */    379,    914,   2293,   3917,   4227,   4882, 
/* msg =    810, deg =  6 */    724,   1176,   1623,   3236,   3318,   4304, 
/* msg =    811, deg =  6 */    646,   1653,   2427,   3495,   4510,   4884, 
/* msg =    812, deg =  6 */    281,    937,   2339,   2877,   3697,   4251, 
/* msg =    813, deg =  6 */    701,   1131,   1554,   3181,   3359,   4262, 
/* msg =    814, deg =  6 */     24,    219,   2089,   3271,   3456,   3588, 
/* msg =    815, deg =  6 */    625,   1661,   2379,   3494,   4514,   4818, 
/* msg =    816, deg =  6 */    324,    821,   2399,   2923,   3754,   4312, 
/* msg =    817, deg =  6 */   1527,   1773,   1996,   3295,   3554,   4456, 
/* msg =    818, deg =  6 */   1038,   1350,   1974,   3251,   4213,   4657, 
/* msg =    819, deg =  6 */    597,   1714,   1901,   2526,   2625,   3994, 
/* msg =    820, deg =  6 */    462,   1025,   1471,   3190,   4214,   4460, 
/* msg =    821, deg =  6 */     44,    271,   2111,   3372,   3485,   3604, 
/* msg =    822, deg =  6 */    640,   1742,   1819,   2563,   2716,   4040, 
/* msg =    823, deg =  6 */    159,   1439,   2285,   2603,   2921,   3774, 
/* msg =    824, deg =  6 */   1611,   1804,   1918,   3382,   3582,   4369, 
/* msg =    825, deg =  6 */    319,    843,   2237,   3850,   4338,   4837, 
/* msg =    826, deg =  6 */    310,   1056,   1735,   2773,   3101,   4571, 
/* msg =    827, deg =  6 */    128,    907,   1162,   2610,   3044,   4174, 
/* msg =    828, deg =  6 */    259,   1443,   2277,   2706,   2866,   3699, 
/* msg =    829, deg =  6 */      3,    242,   2129,   3334,   3430,   3625, 
/* msg =    830, deg =  6 */    681,   1117,   1536,   3162,   3337,   4243, 
/* msg =    831, deg =  6 */    606,    800,   2077,   2976,   3862,   4467, 
/* msg =    832, deg =  6 */     84,    169,   2064,   3346,   3531,   3560, 
/* msg =    833, deg =  6 */    284,   1032,   1711,   2748,   3072,   4550, 
/* msg =    834, deg =  6 */    766,   1128,   1607,   3201,   3366,   4256, 
/* msg =    835, deg =  6 */    136,   1441,   2225,   2588,   2945,   3729, 
/* msg =    836, deg =  6 */    434,   1033,   1430,   3220,   4202,   4420, 
/* msg =    837, deg =  6 */   1169,   1542,   2206,   2773,   3930,   4790, 
/* msg =    838, deg =  6 */    162,   1868,   2043,   2581,   3503,   4056, 
/* msg =    839, deg =  6 */    622,   1702,   1892,   2473,   2627,   4019, 
/* msg =    840, deg =  6 */    992,   1349,   1918,   3250,   4083,   4710, 
/* msg =    841, deg =  6 */    308,    936,   2377,   2904,   3739,   4301, 
/* msg =    842, deg =  6 */    620,    750,   2071,   2923,   3869,   4402, 
/* msg =    843, deg =  6 */     12,    903,   1186,   2597,   3113,   4167, 
/* msg =    844, deg =  6 */    487,   1002,   1376,   3197,   4215,   4368, 
/* msg =    845, deg =  6 */    679,   1753,   1812,   2480,   2683,   4075, 
/* msg =    846, deg =  6 */    628,    749,   2162,   2927,   3859,   4389, 
/* msg =    847, deg =  6 */    954,   1305,   2008,   3208,   4177,   4667, 
/* msg =    848, deg =  6 */    120,    847,   1096,   2682,   3112,   4108, 
/* msg =    849, deg =  6 */    140,   1897,   2088,   2477,   3532,   4044, 
/* msg =    850, deg =  6 */    388,    858,   2228,   3922,   4284,   4886, 
/* msg =    851, deg =  6 */    529,   1235,   2341,   2841,   3595,   3976, 
/* msg =    852, deg =  6 */    584,    742,   2040,   2918,   3884,   4446, 
/* msg =    853, deg =  6 */    153,   1402,   2288,   2600,   2915,   3802, 
/* msg =    854, deg =  6 */    531,   1027,   1371,   3238,   4182,   4365, 
/* msg =    855, deg =  6 */    978,   1291,   1914,   3197,   4152,   4743, 
/* msg =    856, deg =  6 */    559,    792,   2135,   2971,   3893,   4405, 
/* msg =    857, deg =  6 */    386,    994,   1685,   2818,   3036,   4556, 
/* msg =    858, deg =  6 */     90,    920,   1129,   2711,   3076,   4188, 
/* msg =    859, deg =  6 */    420,   1010,   1481,   3159,   4116,   4476, 
/* msg =    860, deg =  6 */   1203,   1584,   2200,   2846,   3815,   4784, 
/* msg =    861, deg =  6 */   1137,   1522,   2272,   2778,   3885,   4861, 
/* msg =    862, deg =  6 */    279,    962,   1765,   2758,   3005,   4584, 
/* msg =    863, deg =  6 */    783,   1212,   1496,   3256,   3302,   4342, 
/* msg =    864, deg =  6 */    548,    758,   2065,   2934,   3816,   4438, 
/* msg =    865, deg =  6 */    494,   1283,   2357,   2802,   3550,   3981, 
/* msg =    866, deg =  6 */    676,    793,   2074,   2972,   3908,   4433, 
/* msg =    867, deg =  6 */   1509,   1835,   1950,   3279,   3610,   4401, 
/* msg =    868, deg =  6 */   1054,   1345,   1938,   3249,   4098,   4668, 
/* msg =    869, deg =  6 */    620,   1647,   1823,   2568,   2677,   4022, 
/* msg =    870, deg =  6 */   1085,   1307,   2025,   3210,   4100,   4729, 
/* msg =    871, deg =  6 */    356,    929,   2227,   3894,   4275,   4780, 
/* msg =    872, deg =  6 */    490,   1256,   2313,   2801,   3612,   4065, 
/* msg =    873, deg =  6 */    276,    943,   2193,   3813,   4302,   4799, 
/* msg =    874, deg =  6 */    114,    454,   1408,   2545,   3682,   4647, 
/* msg =    875, deg =  6 */     40,    239,   2077,   3339,   3450,   3574, 
/* msg =    876, deg =  6 */    743,   1293,   1983,   3025,   4571,   4700, 
/* msg =    877, deg =  6 */    346,    853,   2327,   2901,   3687,   4334, 
/* msg =    878, deg =  6 */    388,   1083,   1729,   2762,   3125,   4525, 
/* msg =    879, deg =  6 */    360,    980,   1652,   2824,   3023,   4488, 
/* msg =    880, deg =  6 */    189,   1886,   2119,   2460,   3515,   4043, 
/* msg =    881, deg =  6 */   1587,   1807,   1962,   3358,   3565,   4400, 
/* msg =    882, deg =  6 */     75,    233,   2133,   3277,   3458,   3626, 
/* msg =    883, deg =  6 */    641,   1753,   2378,   3518,   4608,   4809, 
/* msg =    884, deg =  6 */    958,   1327,   1920,   3231,   4175,   4678, 
/* msg =    885, deg =  6 */   1210,   1527,   2217,   2743,   3888,   4804, 
/* msg =    886, deg =  6 */    557,   1727,   2447,   3420,   4583,   4887, 
/* msg =    887, deg =  6 */    405,    910,   2380,   2955,   3737,   4253, 
/* msg =    888, deg =  6 */    447,   1082,   1482,   3194,   4162,   4477, 
/* msg =    889, deg =  6 */    691,   1343,   1986,   3097,   4541,   4708, 
/* msg =    890, deg =  6 */    735,   1181,   1523,   3189,   3296,   4306, 
/* msg =    891, deg =  6 */    332,    950,   2297,   3869,   4322,   4808, 
/* msg =    892, deg =  6 */    754,   1269,   1915,   3027,   4602,   4637, 
/* msg =    893, deg =  6 */   1102,   1553,   2227,   2849,   3908,   4809, 
/* msg =    894, deg =  6 */    587,   1728,   2374,   3435,   4584,   4831, 
/* msg =    895, deg =  6 */    427,   1054,   1479,   3221,   4143,   4466, 
/* msg =    896, deg =  6 */   1521,   1837,   1913,   3289,   3670,   4425, 
/* msg =    897, deg =  6 */    640,    761,   2047,   2937,   3876,   4401, 
/* msg =    898, deg =  6 */    130,    926,   1178,   2626,   3062,   4191, 
/* msg =    899, deg =  6 */    164,   1426,   2226,   2613,   2863,   3792, 
/* msg =    900, deg =  6 */    311,    833,   2230,   3847,   4332,   4830, 
/* msg =    901, deg =  6 */    534,   1300,   2358,   2843,   3653,   3969, 
/* msg =    902, deg =  6 */    810,   1342,   2000,   3038,   4569,   4724, 
/* msg =    903, deg =  6 */    592,   1706,   2332,   3468,   4560,   4764, 
/* msg =    904, deg =  6 */    654,    715,   2125,   2894,   3911,   4377, 
/* msg =    905, deg =  6 */    425,   1085,   1458,   3137,   4154,   4453, 
/* msg =    906, deg =  6 */    396,    935,   2308,   3934,   4240,   4760, 
/* msg =    907, deg =  6 */   1520,   1883,   1927,   3288,   3547,   4406, 
/* msg =    908, deg =  6 */    771,   1152,   1548,   3186,   3280,   4283, 
/* msg =    909, deg =  6 */   1602,   1790,   2018,   3372,   3657,   4435, 
/* msg =    910, deg =  6 */    125,    883,   1137,   2586,   3016,   4150, 
/* msg =    911, deg =  6 */     62,    190,   2097,   3269,   3488,   3593, 
/* msg =    912, deg =  6 */    602,   1712,   2339,   3472,   4568,   4772, 
/* msg =    913, deg =  6 */   1576,   1829,   1919,   3344,   3609,   4379, 
/* msg =    914, deg =  6 */   1109,   1609,   2278,   2841,   3871,   4859, 
/* msg =    915, deg =  6 */    631,    783,   2082,   2955,   3921,   4486, 
/* msg =    916, deg =  6 */    623,   1693,   1804,   2489,   2599,   4020, 
/* msg =    917, deg =  6 */    683,   1246,   1938,   3080,   4537,   4661, 
/* msg =    918, deg =  6 */    314,   1001,   1671,   2792,   3044,   4489, 
/* msg =    919, deg =  6 */   1091,   1548,   2219,   2840,   3903,   4801, 
/* msg =    920, deg =  6 */    740,   1204,   1600,   3168,   3357,   4334, 
/* msg =    921, deg =  6 */   1619,   1801,   2032,   3385,   3543,   4448, 
/* msg =    922, deg =  6 */   1021,   1342,   1977,   3243,   4121,   4719, 
/* msg =    923, deg =  6 */    138,   1843,   2152,   2578,   3478,   4033, 
/* msg =    924, deg =  6 */    797,   1344,   2035,   3084,   4488,   4758, 
/* msg =    925, deg =  6 */   1533,   1889,   1933,   3299,   3558,   4412, 
/* msg =    926, deg =  6 */    397,    852,   2406,   2961,   3764,   4294, 
/* msg =    927, deg =  6 */    590,   1747,   1791,   2581,   2645,   3987, 
/* msg =    928, deg =  6 */     54,    854,   1113,   2585,   3072,   4114, 
/* msg =    929, deg =  6 */    143,   1422,   2270,   2587,   2910,   3758, 
/* msg =    930, deg =  6 */    465,    970,   1375,   3216,   4185,   4367, 
/* msg =    931, deg =  6 */   1578,   1893,   1973,   3346,   3589,   4485, 
/* msg =    932, deg =  6 */    586,   1646,   1865,   2500,   2638,   3986, 
/* msg =    933, deg =  6 */    796,   1273,   2024,   3026,   4546,   4744, 
/* msg =    934, deg =  6 */    446,   1035,   1374,   3181,   4140,   4366, 
/* msg =    935, deg =  6 */    414,   1064,   1442,   3260,   4137,   4432, 
/* msg =    936, deg =  6 */    674,   1662,   1845,   2519,   2705,   4072, 
/* msg =    937, deg =  6 */    572,   1728,   1772,   2579,   2629,   3969, 
/* msg =    938, deg =  6 */    101,    875,   1221,   2663,   3027,   4142, 
/* msg =    939, deg =  6 */    618,    727,   2059,   2899,   3823,   4469, 
/* msg =    940, deg =  6 */     47,    159,   2131,   3395,   3509,   3630, 
/* msg =    941, deg =  6 */    252,   1376,   2183,   2701,   2946,   3746, 
/* msg =    942, deg =  6 */    967,   1344,   1981,   3248,   4170,   4695, 
/* msg =    943, deg =  6 */   1075,   1297,   2018,   3201,   4094,   4722, 
/* msg =    944, deg =  6 */   1077,   1290,   1995,   3196,   4167,   4653, 
/* msg =    945, deg =  6 */   1158,   1610,   2284,   2772,   3826,   4871, 
/* msg =    946, deg =  6 */    355,    951,   2360,   2924,   3720,   4249, 
/* msg =    947, deg =  6 */    507,   1279,   2328,   2817,   3628,   3947, 
/* msg =    948, deg =  6 */    574,    723,   2163,   2901,   3867,   4426, 
/* msg =    949, deg =  6 */    554,   1707,   1801,   2457,   2714,   3953, 
/* msg =    950, deg =  6 */    502,   1340,   2440,   2815,   3567,   3949, 
/* msg =    951, deg =  6 */    247,   1390,   2235,   2691,   2876,   3727, 
/* msg =    952, deg =  6 */    558,   1700,   2343,   3400,   4558,   4792, 
/* msg =    953, deg =  6 */     95,    168,   2140,   3322,   3484,   3638, 
/* msg =    954, deg =  6 */    782,   1130,   1545,   3244,   3328,   4261, 
/* msg =    955, deg =  6 */    196,   1817,   2149,   2467,   3449,   3965, 
/* msg =    956, deg =  6 */    317,    965,   1710,   2772,   3003,   4553, 
/* msg =    957, deg =  6 */   1528,   1852,   1947,   3296,   3587,   4364, 
/* msg =    958, deg =  6 */    643,   1686,   2337,   3464,   4539,   4820, 
/* msg =    959, deg =  6 */    644,    808,   2062,   2984,   3834,   4410, 
/* msg =    960, deg =  6 */    700,   1347,   1992,   3106,   4547,   4715, 
/* msg =    961, deg =  6 */    706,   1240,   1917,   3044,   4495,   4634, 
/* msg =    962, deg =  6 */    568,    768,   2042,   2949,   3829,   4435, 
/* msg =    963, deg =  6 */     55,    270,   2043,   3349,   3436,   3538, 
/* msg =    964, deg =  6 */     49,    504,   1445,   2514,   3701,   4636, 
/* msg =    965, deg =  6 */    120,    461,   1487,   2551,   3710,   4732, 
/* msg =    966, deg =  6 */   1631,   1861,   1914,   3394,   3561,   4434, 
/* msg =    967, deg =  6 */    318,    876,   2201,   3855,   4318,   4774, 
/* msg =    968, deg =  6 */    408,   1315,   2374,   2724,   3668,   3987, 
/* msg =    969, deg =  6 */      9,    872,   1167,   2709,   3094,   4136, 
/* msg =    970, deg =  6 */    326,    949,   2358,   2971,   3715,   4323, 
/* msg =    971, deg =  6 */    662,   1649,   2418,   3453,   4508,   4796, 
/* msg =    972, deg =  6 */    740,   1319,   2030,   3091,   4511,   4748, 
/* msg =    973, deg =  6 */    413,   1287,   2361,   2726,   3575,   4060, 
/* msg =    974, deg =  6 */    488,   1012,   1388,   3200,   4084,   4382, 
/* msg =    975, deg =  6 */    219,   1405,   2234,   2666,   2965,   3793, 
/* msg =    976, deg =  6 */      2,    234,   2123,   3324,   3418,   3622, 
/* msg =    977, deg =  6 */     22,    505,   1455,   2487,   3806,   4745, 
/* msg =    978, deg =  6 */     41,    441,   1379,   2506,   3775,   4707, 
/* msg =    979, deg =  6 */    614,    809,   2084,   2985,   3865,   4474, 
/* msg =    980, deg =  6 */   1060,   1241,   2023,   3148,   4162,   4756, 
/* msg =    981, deg =  6 */    614,   1642,   2363,   3473,   4500,   4802, 
/* msg =    982, deg =  6 */    610,   1634,   1809,   2567,   2669,   4008, 
/* msg =    983, deg =  6 */    606,   1637,   2355,   3469,   4494,   4795, 
/* msg =    984, deg =  6 */    779,   1136,   1512,   3164,   3354,   4264, 
/* msg =    985, deg =  6 */    780,   1162,   1553,   3196,   3290,   4289, 
/* msg =    986, deg =  6 */     66,    222,   2132,   3303,   3524,   3631, 
/* msg =    987, deg =  6 */    330,   1021,   1681,   2808,   3062,   4510, 
/* msg =    988, deg =  6 */     34,    191,   2165,   3293,   3400,   3659, 
/* msg =    989, deg =  6 */    312,    819,   2425,   2866,   3784,   4296, 
/* msg =    990, deg =  6 */    564,    713,   2157,   2892,   3856,   4421, 
/* msg =    991, deg =  6 */    286,    995,   1744,   2726,   3037,   4614, 
/* msg =    992, deg =  6 */    729,   1337,   1945,   3120,   4592,   4669, 
/* msg =    993, deg =  6 */    427,   1331,   2389,   2742,   3546,   4005, 
/* msg =    994, deg =  6 */   1501,   1822,   1915,   3270,   3557,   4467, 
/* msg =    995, deg =  6 */    603,   1664,   2405,   3447,   4525,   4870, 
/* msg =    996, deg =  6 */    649,   1748,   1824,   2564,   2588,   4052, 
/* msg =    997, deg =  6 */    219,   1863,   2074,   2565,   3495,   4066, 
/* msg =    998, deg =  6 */    804,   1135,   1534,   3239,   3287,   4260, 
/* msg =    999, deg =  6 */    429,   1320,   2422,   2739,   3663,   3990, 
/* msg =   1000, deg =  6 */    261,   1433,   2244,   2710,   2896,   3706, 
/* msg =   1001, deg =  6 */    291,    908,   2260,   3825,   4285,   4771, 
/* msg =   1002, deg =  6 */   1620,   1783,   1961,   3386,   3664,   4397, 
/* msg =   1003, deg =  6 */    651,    795,   2057,   2969,   3935,   4485, 
/* msg =   1004, deg =  6 */     90,    264,   2099,   3286,   3445,   3597, 
/* msg =   1005, deg =  6 */    142,   1801,   2120,   2519,   3437,   3975, 
/* msg =   1006, deg =  6 */    504,   1244,   2324,   2819,   3671,   4020, 
/* msg =   1007, deg =  6 */    361,    826,   2409,   2884,   3772,   4252, 
/* msg =   1008, deg =  6 */    625,   1680,   1773,   2505,   2678,   4025, 
/* msg =   1009, deg =  6 */    542,   1265,   2386,   2851,   3536,   4032, 
/* msg =   1010, deg =  6 */    541,   1061,   1437,   3251,   4131,   4426, 
/* msg =   1011, deg =  6 */     52,    833,   1097,   2705,   3061,   4096, 
/* msg =   1012, deg =  6 */    300,    852,   2195,   3838,   4342,   4775, 
/* msg =   1013, deg =  6 */     48,    496,   1432,   2513,   3690,   4629, 
/* msg =   1014, deg =  6 */    996,   1226,   1966,   3129,   4208,   4712, 
/* msg =   1015, deg =  6 */    989,   1337,   1904,   3240,   4214,   4696, 
/* msg =   1016, deg =  6 */    543,   1029,   1450,   3199,   4119,   4440, 
/* msg =   1017, deg =  6 */    659,   1681,   1858,   2573,   2717,   4062, 
/* msg =   1018, deg =  6 */    784,   1113,   1517,   3219,   3266,   4241, 
/* msg =   1019, deg =  6 */    994,   1247,   2014,   3151,   4205,   4723, 
/* msg =   1020, deg =  6 */   1511,   1864,   1906,   3276,   3669,   4386, 
/* msg =   1021, deg =  6 */   1523,   1846,   1942,   3293,   3576,   4358, 
/* msg =   1022, deg =  6 */    635,   1694,   1778,   2506,   2686,   4038, 
/* msg =   1023, deg =  6 */    118,    244,   2046,   3318,   3528,   3543, 
/* msg =   1024, deg =  6 */    807,   1356,   1904,   3094,   4502,   4628, 
/* msg =   1025, deg =  6 */     43,    263,   2096,   3363,   3474,   3592, 
/* msg =   1026, deg =  6 */    809,   1180,   1516,   3252,   3276,   4305, 
/* msg =   1027, deg =  6 */     18,    171,   2041,   3354,   3415,   3536, 
/* msg =   1028, deg =  6 */    618,   1670,   2395,   3404,   4523,   4776, 
/* msg =   1029, deg =  6 */    508,   1074,   1377,   3234,   4126,   4369, 
/* msg =   1030, deg =  6 */    122,    472,   1367,   2553,   3725,   4747, 
/* msg =   1031, deg =  6 */    730,   1306,   2023,   3081,   4496,   4740, 
/* msg =   1032, deg =  6 */    183,   1826,   2121,   2548,   3461,   4070, 
/* msg =   1033, deg =  6 */    652,   1730,   1786,   2477,   2659,   4053, 
/* msg =   1034, deg =  6 */    569,   1691,   1876,   2523,   2601,   3971, 
/* msg =   1035, deg =  6 */    192,   1810,   2062,   2496,   3444,   4058, 
/* msg =   1036, deg =  6 */   1023,   1335,   1953,   3239,   4195,   4642, 
/* msg =   1037, deg =  6 */    265,   1382,   2266,   2712,   2889,   3783, 
/* msg =   1038, deg =  6 */    290,    947,   2347,   2885,   3709,   4258, 
/* msg =   1039, deg =  6 */   1524,   1821,   2000,   3294,   3568,   4436, 
/* msg =   1040, deg =  6 */    348,    918,   2375,   2925,   3732,   4269, 
/* msg =   1041, deg =  6 */    629,    753,   2078,   2932,   3875,   4408, 
/* msg =   1042, deg =  6 */    650,    781,   2097,   2958,   3902,   4434, 
/* msg =   1043, deg =  6 */    663,   1690,   2409,   3522,   4548,   4848, 
/* msg =   1044, deg =  6 */    416,   1335,   2347,   2728,   3564,   4013, 
/* msg =   1045, deg =  6 */     22,    825,   1132,   2588,   3080,   4092, 
/* msg =   1046, deg =  6 */    677,   1700,   1878,   2575,   2597,   4078, 
/* msg =   1047, deg =  6 */    198,   1857,   2045,   2526,   3489,   4024, 
/* msg =   1048, deg =  6 */    450,   1321,   2407,   2761,   3615,   3963, 
/* msg =   1049, deg =  6 */    323,    845,   2378,   2912,   3740,   4288, 
/* msg =   1050, deg =  6 */    585,    756,   2136,   2930,   3916,   4359, 
/* msg =   1051, deg =  6 */     31,    139,   2150,   3320,   3516,   3643, 
/* msg =   1052, deg =  6 */    615,   1732,   1783,   2528,   2641,   4010, 
/* msg =   1053, deg =  6 */   1081,   1329,   1961,   3236,   4158,   4673, 
/* msg =   1054, deg =  6 */    696,   1225,   2026,   3058,   4595,   4746, 
/* msg =   1055, deg =  6 */   1585,   1771,   2007,   3353,   3642,   4416, 
/* msg =   1056, deg =  6 */    325,    975,   1716,   2780,   3012,   4567, 
/* msg =   1057, deg =  6 */     84,    942,   1222,   2606,   3066,   4207, 
/* msg =   1058, deg =  6 */    460,   1057,   1449,   3242,   4090,   4445, 
/* msg =   1059, deg =  6 */    570,   1674,   1838,   2538,   2672,   3972, 
/* msg =   1060, deg =  6 */    272,    928,   2332,   2868,   3694,   4247, 
/* msg =   1061, deg =  6 */   1517,   1824,   1907,   3287,   3659,   4420, 
/* msg =   1062, deg =  6 */   1006,   1250,   2019,   3152,   4211,   4730, 
/* msg =   1063, deg =  6 */    161,   1415,   2296,   2608,   2925,   3677, 
/* msg =   1064, deg =  6 */    392,   1062,   1636,   2779,   3099,   4554, 
/* msg =   1065, deg =  6 */    274,    856,   2381,   2891,   3738,   4316, 
/* msg =   1066, deg =  6 */    140,   1404,   2204,   2589,   2972,   3772, 
/* msg =   1067, deg =  6 */    405,    982,   1733,   2845,   3019,   4592, 
/* msg =   1068, deg =  6 */    134,    816,   1215,   2658,   3093,   4084, 
/* msg =   1069, deg =  6 */    758,   1284,   1948,   3116,   4514,   4666, 
/* msg =   1070, deg =  6 */    228,   1491,   2290,   2677,   2927,   3725, 
/* msg =   1071, deg =  6 */    467,   1337,   2423,   2777,   3631,   3980, 
/* msg =   1072, deg =  6 */    270,   1465,   2215,   2719,   2949,   3690, 
/* msg =   1073, deg =  6 */    605,    775,   2158,   2948,   3933,   4372, 
/* msg =   1074, deg =  6 */    338,   1035,   1682,   2855,   3077,   4613, 
/* msg =   1075, deg =  6 */   1191,   1552,   2220,   2790,   3810,   4805, 
/* msg =   1076, deg =  6 */    165,   1478,   2287,   2614,   2941,   3750, 
/* msg =   1077, deg =  6 */    388,    841,   2398,   2959,   3759,   4280, 
/* msg =   1078, deg =  6 */    472,    966,   1385,   3128,   4189,   4376, 
/* msg =   1079, deg =  6 */    473,   1046,   1480,   3203,   4088,   4472, 
/* msg =   1080, deg =  6 */    562,   1679,   2439,   3433,   4535,   4871, 
/* msg =   1081, deg =  6 */    560,   1746,   2342,   3481,   4605,   4860, 
/* msg =   1082, deg =  6 */    573,   1727,   1822,   2459,   2594,   3970, 
/* msg =   1083, deg =  6 */    370,   1082,   1697,   2811,   3124,   4566, 
/* msg =   1084, deg =  6 */   1200,   1499,   2245,   2830,   3902,   4826, 
/* msg =   1085, deg =  6 */   1121,   1622,   2305,   2769,   3889,   4892, 
/* msg =   1086, deg =  6 */     74,    225,   2127,   3266,   3448,   3623, 
/* msg =   1087, deg =  6 */    351,    934,   2312,   2964,   3676,   4254, 
/* msg =   1088, deg =  6 */    248,   1865,   2116,   2486,   3497,   3978, 
/* msg =   1089, deg =  6 */    666,   1639,   1795,   2533,   2632,   4068, 
/* msg =   1090, deg =  6 */    396,    899,   2372,   2947,   3734,   4241, 
/* msg =   1091, deg =  6 */    149,   1842,   2079,   2455,   3477,   4004, 
/* msg =   1092, deg =  6 */    421,   1058,   1461,   3173,   4139,   4451, 
/* msg =   1093, deg =  6 */     15,    925,   1212,   2621,   3006,   4190, 
/* msg =   1094, deg =  6 */    124,    237,   2156,   3268,   3440,   3649, 
/* msg =   1095, deg =  6 */    126,    507,   1393,   2557,   3756,   4646, 
/* msg =   1096, deg =  6 */    101,    429,   1399,   2532,   3767,   4734, 
/* msg =   1097, deg =  6 */     64,    466,   1384,   2580,   3721,   4642, 
/* msg =   1098, deg =  6 */   1065,   1245,   2006,   3146,   4106,   4693, 
/* msg =   1099, deg =  6 */    194,   1467,   2295,   2641,   2860,   3680, 
/* msg =   1100, deg =  6 */    577,   1696,   1881,   2524,   2609,   3976, 
/* msg =   1101, deg =  6 */    146,   1849,   2166,   2579,   3481,   4046, 
/* msg =   1102, deg =  6 */   1031,   1352,   2015,   3256,   4197,   4660, 
/* msg =   1103, deg =  6 */   1515,   1896,   1990,   3285,   3551,   4450, 
/* msg =   1104, deg =  6 */    781,   1108,   1504,   3209,   3399,   4234, 
/* msg =   1105, deg =  6 */    485,   1278,   2350,   2794,   3539,   3968, 
/* msg =   1106, deg =  6 */    733,   1187,   1628,   3246,   3321,   4318, 
/* msg =   1107, deg =  6 */    424,   1303,   2377,   2736,   3590,   4076, 
/* msg =   1108, deg =  6 */    617,   1737,   1789,   2529,   2649,   4016, 
/* msg =   1109, deg =  6 */    620,   1730,   2354,   3493,   4588,   4786, 
/* msg =   1110, deg =  6 */   1563,   1856,   1910,   3330,   3608,   4475, 
/* msg =   1111, deg =  6 */     76,    876,   1156,   2678,   3007,   4143, 
/* msg =   1112, deg =  6 */    792,   1159,   1529,   3183,   3373,   4282, 
/* msg =   1113, deg =  6 */    569,   1718,   2358,   3421,   4572,   4815, 
/* msg =   1114, deg =  6 */    136,   1890,   2136,   2489,   3521,   4001, 
/* msg =   1115, deg =  6 */    355,   1049,   1701,   2728,   3089,   4490, 
/* msg =   1116, deg =  6 */    468,    987,   1367,   3177,   4197,   4355, 
/* msg =   1117, deg =  6 */    458,    953,   1436,   3165,   4104,   4430, 
/* msg =   1118, deg =  6 */    679,    692,   2129,   2866,   3835,   4393, 
/* msg =   1119, deg =  6 */    597,    801,   2112,   2979,   3864,   4484, 
/* msg =   1120, deg =  6 */   1208,   1541,   2185,   2782,   3878,   4769, 
/* msg =   1121, deg =  6 */   1607,   1828,   2004,   3375,   3629,   4484, 
/* msg =   1122, deg =  6 */    320,   1034,   1650,   2761,   3076,   4519, 
/* msg =   1123, deg =  6 */    167,   1444,   2292,   2611,   2930,   3779, 
/* msg =   1124, deg =  6 */    487,   1260,   2408,   2796,   3630,   4075, 
/* msg =   1125, deg =  6 */    345,    956,   1643,   2776,   2997,   4515, 
/* msg =   1126, deg =  6 */     61,    440,   1363,   2577,   3702,   4758, 
/* msg =   1127, deg =  6 */    752,   1137,   1530,   3175,   3267,   4265, 
/* msg =   1128, deg =  6 */    793,   1178,   1570,   3208,   3311,   4308, 
/* msg =   1129, deg =  6 */    605,   1732,   2364,   3528,   4590,   4872, 
/* msg =   1130, deg =  6 */    715,   1220,   1556,   3156,   3319,   4350, 
/* msg =   1131, deg =  6 */    131,    930,   1189,   2634,   3064,   4197, 
/* msg =   1132, deg =  6 */     58,    158,   2071,   3371,   3461,   3565, 
/* msg =   1133, deg =  6 */    438,   1072,   1477,   3184,   4156,   4470, 
/* msg =   1134, deg =  6 */     47,    495,   1429,   2512,   3686,   4759, 
/* msg =   1135, deg =  6 */    195,   1377,   2213,   2642,   2938,   3773, 
/* msg =   1136, deg =  6 */    773,   1285,   1928,   3047,   4623,   4651, 
/* msg =   1137, deg =  6 */    368,    860,   2404,   2881,   3762,   4236, 
/* msg =   1138, deg =  6 */   1502,   1796,   1981,   3271,   3550,   4410, 
/* msg =   1139, deg =  6 */    287,    875,   2429,   2987,   3791,   4319, 
/* msg =   1140, deg =  6 */    294,   1033,   1720,   2725,   3075,   4596, 
/* msg =   1141, deg =  6 */    664,   1723,   1810,   2510,   2718,   4064, 
/* msg =   1142, deg =  6 */     85,    224,   2058,   3379,   3407,   3556, 
/* msg =   1143, deg =  6 */    104,    508,   1469,   2535,   3740,   4697, 
/* msg =   1144, deg =  6 */   1101,   1534,   2273,   2720,   3928,   4856, 
/* msg =   1145, deg =  6 */    377,    870,   2412,   2890,   3773,   4243, 
/* msg =   1146, deg =  6 */    511,   1299,   2373,   2818,   3566,   3999, 
/* msg =   1147, deg =  6 */   1624,   1808,   1909,   3395,   3546,   4462, 
/* msg =   1148, deg =  6 */    229,   1400,   2208,   2678,   2869,   3675, 
/* msg =   1149, deg =  6 */    981,   1231,   1993,   3131,   4187,   4708, 
/* msg =   1150, deg =  6 */    199,   1476,   2184,   2643,   2966,   3673, 
/* msg =   1151, deg =  6 */    610,   1726,   2347,   3483,   4582,   4779, 
/* msg =   1152, deg =  6 */    206,   1407,   2286,   2655,   2885,   3764, 
/* msg =   1153, deg =  6 */    621,    763,   2167,   2942,   3901,   4452, 
/* msg =   1154, deg =  6 */    404,    869,   2318,   2921,   3679,   4289, 
/* msg =   1155, deg =  6 */    172,   1792,   2123,   2481,   3424,   4078, 
/* msg =   1156, deg =  6 */    280,    851,   2443,   2861,   3806,   4343, 
/* msg =   1157, deg =  6 */     33,    915,   1216,   2676,   3039,   4181, 
/* msg =   1158, deg =  6 */    321,    928,   2300,   3857,   4223,   4817, 
/* msg =   1159, deg =  6 */    145,   1883,   2111,   2514,   3517,   4068, 
/* msg =   1160, deg =  6 */    590,   1702,   2325,   3458,   4554,   4893, 
/* msg =   1161, deg =  6 */    401,    884,   2232,   3940,   4261,   4885, 
/* msg =   1162, deg =  6 */   1187,   1508,   2176,   2806,   3859,   4764, 
/* msg =   1163, deg =  6 */     30,    891,   1198,   2652,   3011,   4157, 
/* msg =   1164, deg =  6 */    111,    927,   1161,   2699,   3020,   4187, 
/* msg =   1165, deg =  6 */    520,   1231,   2334,   2832,   3584,   3971, 
/* msg =   1166, deg =  6 */    372,    940,   2397,   2944,   3758,   4293, 
/* msg =   1167, deg =  6 */    100,    864,   1210,   2655,   3019,   4128, 
/* msg =   1168, deg =  6 */   1564,   1782,   1936,   3334,   3538,   4382, 
/* msg =   1169, deg =  6 */   1557,   1868,   1945,   3323,   3564,   4458, 
/* msg =   1170, deg =  6 */    482,   1343,   2367,   2797,   3597,   3961, 
/* msg =   1171, deg =  6 */    616,   1648,   2371,   3484,   4507,   4810, 
/* msg =   1172, deg =  6 */    378,    991,   1673,   2810,   3026,   4549, 
/* msg =   1173, deg =  6 */    993,   1294,   2022,   3195,   4181,   4748, 
/* msg =   1174, deg =  6 */    193,   1440,   2195,   2640,   2952,   3708, 
/* msg =   1175, deg =  6 */    315,    987,   1684,   2733,   3025,   4569, 
/* msg =   1176, deg =  6 */     61,    182,   2091,   3394,   3486,   3590, 
/* msg =   1177, deg =  6 */     46,    855,   1191,   2600,   3052,   4115, 
/* msg =   1178, deg =  6 */     56,    866,   1135,   2601,   3092,   4132, 
/* msg =   1179, deg =  6 */    602,    730,   2049,   2904,   3853,   4390, 
/* msg =   1180, deg =  6 */    571,   1710,   2415,   3457,   4567,   4829, 
/* msg =   1181, deg =  6 */     77,    529,   1381,   2457,   3801,   4648, 
/* msg =   1182, deg =  6 */    354,    863,   2334,   2909,   3691,   4340, 
/* msg =   1183, deg =  6 */    795,   1144,   1561,   3263,   3349,   4272, 
/* msg =   1184, deg =  6 */    727,   1217,   1599,   3247,   3297,   4344, 
/* msg =   1185, deg =  6 */    619,    739,   2156,   2917,   3854,   4383, 
/* msg =   1186, deg =  6 */    442,   1354,   2370,   2754,   3589,   4036, 
/* msg =   1187, deg =  6 */     89,    256,   2093,   3276,   3434,   3586, 
/* msg =   1188, deg =  6 */   1127,   1557,   2303,   2746,   3821,   4887, 
/* msg =   1189, deg =  6 */    306,    882,   2176,   3845,   4224,   4864, 
/* msg =   1190, deg =  6 */    674,    747,   2058,   2925,   3811,   4424, 
/* msg =   1191, deg =  6 */    301,   1054,   1723,   2765,   3092,   4563, 
/* msg =   1192, deg =  6 */    436,   1288,   2314,   2746,   3545,   4052, 
/* msg =   1193, deg =  6 */    227,   1869,   2081,   2566,   3499,   4079, 
/* msg =   1194, deg =  6 */     49,    175,   2151,   3273,   3523,   3644, 
/* msg =   1195, deg =  6 */    482,   1050,   1492,   3212,   4102,   4487, 
/* msg =   1196, deg =  6 */   1626,   1844,   2001,   3392,   3605,   4446, 
/* msg =   1197, deg =  6 */    177,   1424,   2181,   2624,   2943,   3693, 
/* msg =   1198, deg =  6 */    130,    543,   1426,   2561,   3788,   4675, 
/* msg =   1199, deg =  6 */    680,   1171,   1584,   3149,   3371,   4297, 
/* msg =   1200, deg =  6 */    456,   1298,   2402,   2773,   3662,   4046, 
/* msg =   1201, deg =  6 */    535,   1253,   2413,   2847,   3641,   4012, 
/* msg =   1202, deg =  6 */    426,   1030,   1416,   3210,   4198,   4413, 
/* msg =   1203, deg =  6 */    295,    824,   2207,   3831,   4278,   4798, 
/* msg =   1204, deg =  6 */    215,   1493,   2206,   2659,   2983,   3689, 
/* msg =   1205, deg =  6 */    285,    882,   2333,   2939,   3695,   4308, 
/* msg =   1206, deg =  6 */    191,   1464,   2177,   2635,   2956,   3806, 
/* msg =   1207, deg =  6 */    814,   1166,   1579,   3140,   3362,   4291, 
/* msg =   1208, deg =  6 */    808,   1231,   1918,   3103,   4509,   4635, 
/* msg =   1209, deg =  6 */    669,   1684,   1776,   2454,   2690,   4066, 
/* msg =   1210, deg =  6 */    615,   1759,   2396,   3460,   4612,   4853, 
/* msg =   1211, deg =  6 */    672,   1745,   1860,   2496,   2655,   4076, 
/* msg =   1212, deg =  6 */    241,   1847,   2070,   2509,   3479,   4029, 
/* msg =   1213, deg =  6 */    118,    482,   1441,   2549,   3713,   4676, 
/* msg =   1214, deg =  6 */     73,    853,   1130,   2654,   3114,   4119, 
/* msg =   1215, deg =  6 */    602,   1765,   1802,   2583,   2661,   4005, 
/* msg =   1216, deg =  6 */   1135,   1598,   2243,   2833,   3931,   4830, 
/* msg =   1217, deg =  6 */    688,   1188,   1563,   3215,   3271,   4313, 
/* msg =   1218, deg =  6 */    271,   1411,   2263,   2715,   2902,   3748, 
/* msg =   1219, deg =  6 */     41,    946,   1150,   2696,   3012,   4209, 
/* msg =   1220, deg =  6 */    197,   1892,   2127,   2461,   3526,   4055, 
/* msg =   1221, deg =  6 */    627,    728,   2066,   2907,   3827,   4476, 
/* msg =   1222, deg =  6 */    171,   1814,   2162,   2559,   3446,   4023, 
/* msg =   1223, deg =  6 */    974,   1280,   1908,   3187,   4148,   4728, 
/* msg =   1224, deg =  6 */   1163,   1624,   2279,   2732,   3828,   4860, 
/* msg =   1225, deg =  6 */    372,   1060,   1724,   2851,   3102,   4551, 
/* msg =   1226, deg =  6 */    213,   1775,   2139,   2463,   3403,   4064, 
/* msg =   1227, deg =  6 */     21,    195,   2069,   3377,   3439,   3563, 
/* msg =   1228, deg =  6 */    658,   1656,   2361,   3408,   4512,   4783, 
/* msg =   1229, deg =  6 */    168,   1784,   2171,   2493,   3419,   4035, 
/* msg =   1230, deg =  6 */    547,    746,   2159,   2922,   3936,   4409, 
/* msg =   1231, deg =  6 */    588,   1692,   1850,   2540,   2688,   3990, 
/* msg =   1232, deg =  6 */    394,   1015,   1680,   2722,   3053,   4523, 
/* msg =   1233, deg =  6 */    777,   1150,   1616,   3220,   3379,   4275, 
/* msg =   1234, deg =  6 */    126,    253,   2169,   3281,   3462,   3664, 
/* msg =   1235, deg =  6 */   1009,   1336,   1994,   3245,   4178,   4645, 
/* msg =   1236, deg =  6 */   1580,   1902,   1992,   3350,   3639,   4409, 
/* msg =   1237, deg =  6 */     87,    455,   1418,   2518,   3786,   4756, 
/* msg =   1238, deg =  6 */    700,   1185,   1601,   3161,   3384,   4316, 
/* msg =   1239, deg =  6 */    750,   1208,   1614,   3177,   3367,   4340, 
/* msg =   1240, deg =  6 */    340,    850,   2276,   3879,   4306,   4891, 
/* msg =   1241, deg =  6 */    385,   1005,   1676,   2850,   3043,   4516, 
/* msg =   1242, deg =  6 */    683,   1191,   1520,   3261,   3286,   4319, 
/* msg =   1243, deg =  6 */    213,   1384,   2193,   2662,   2986,   3796, 
/* msg =   1244, deg =  6 */    243,   1880,   2101,   2551,   3512,   3953, 
/* msg =   1245, deg =  6 */    204,   1830,   2157,   2468,   3459,   3969, 
/* msg =   1246, deg =  6 */    440,   1028,   1440,   3132,   4206,   4435, 
/* msg =   1247, deg =  6 */   1125,   1572,   2267,   2785,   3937,   4850, 
/* msg =   1248, deg =  6 */   1164,   1529,   2199,   2765,   3925,   4783, 
/* msg =   1249, deg =  6 */    604,   1683,   1873,   2471,   2611,   4002, 
/* msg =   1250, deg =  6 */    400,    917,   2204,   3936,   4239,   4823, 
/* msg =   1251, deg =  6 */    368,    990,   1657,   2832,   3031,   4502, 
/* msg =   1252, deg =  6 */    357,   1026,   1727,   2775,   3065,   4609, 
/* msg =   1253, deg =  6 */    178,   1887,   2056,   2583,   3516,   4072, 
/* msg =   1254, deg =  6 */    281,    952,   1648,   2834,   2996,   4542, 
/* msg =   1255, deg =  6 */   1534,   1843,   1920,   3300,   3537,   4439, 
/* msg =   1256, deg =  6 */    976,   1300,   1939,   3202,   4086,   4677, 
/* msg =   1257, deg =  6 */     65,    214,   2126,   3292,   3513,   3620, 
/* msg =   1258, deg =  6 */    790,   1325,   1994,   3121,   4570,   4712, 
/* msg =   1259, deg =  6 */    670,   1709,   2360,   3489,   4566,   4842, 
/* msg =   1260, deg =  6 */    535,    962,   1405,   3263,   4149,   4394, 
/* msg =   1261, deg =  6 */    105,    518,   1473,   2536,   3745,   4711, 
/* msg =   1262, deg =  6 */     35,    199,   2172,   3296,   3411,   3670, 
/* msg =   1263, deg =  6 */    481,    968,   1398,   3139,   4195,   4390, 
/* msg =   1264, deg =  6 */    765,   1313,   2002,   3055,   4597,   4721, 
/* msg =   1265, deg =  6 */    608,    717,   2052,   2890,   3810,   4456, 
/* msg =   1266, deg =  6 */    598,   1646,   2373,   3516,   4502,   4890, 
/* msg =   1267, deg =  6 */    168,   1473,   2260,   2620,   2980,   3760, 
/* msg =   1268, deg =  6 */   1591,   1899,   1978,   3357,   3592,   4354, 
/* msg =   1269, deg =  6 */   1567,   1791,   1965,   3332,   3588,   4444, 
/* msg =   1270, deg =  6 */      3,    826,   1117,   2661,   3045,   4088, 
/* msg =   1271, deg =  6 */    285,   1030,   1714,   2853,   3066,   4590, 
/* msg =   1272, deg =  6 */   1532,   1778,   2003,   3298,   3567,   4469, 
/* msg =   1273, deg =  6 */    132,    939,   1192,   2642,   3073,   4201, 
/* msg =   1274, deg =  6 */     70,    475,   1463,   2450,   3751,   4735, 
/* msg =   1275, deg =  6 */     81,    912,   1196,   2718,   3046,   4176, 
/* msg =   1276, deg =  6 */    332,    999,   1706,   2848,   3039,   4493, 
/* msg =   1277, deg =  6 */    378,    911,   2302,   3916,   4264,   4761, 
/* msg =   1278, deg =  6 */    548,   1667,   1851,   2520,   2713,   3949, 
/* msg =   1279, deg =  6 */    693,   1247,   1931,   3113,   4523,   4649, 
/* msg =   1280, deg =  6 */    523,   1296,   2317,   2837,   3670,   3979, 
/* msg =   1281, deg =  6 */    408,   1032,   1463,   3202,   4125,   4455, 
/* msg =   1282, deg =  6 */    733,   1282,   1970,   3017,   4563,   4693, 
/* msg =   1283, deg =  6 */    652,   1692,   2345,   3476,   4545,   4828, 
/* msg =   1284, deg =  6 */   1098,   1603,   2270,   2832,   3860,   4851, 
/* msg =   1285, deg =  6 */    791,   1259,   2005,   3043,   4519,   4727, 
/* msg =   1286, deg =  6 */    522,   1259,   2338,   2836,   3549,   4037, 
/* msg =   1287, deg =  6 */    596,   1760,   2348,   3459,   4616,   4787, 
/* msg =   1288, deg =  6 */    609,   1745,   2316,   3496,   4601,   4867, 
/* msg =   1289, deg =  6 */    435,   1342,   2396,   2750,   3557,   4008, 
/* msg =   1290, deg =  6 */   1600,   1781,   1998,   3368,   3614,   4375, 
/* msg =   1291, deg =  6 */    477,   1349,   2430,   2786,   3634,   3985, 
/* msg =   1292, deg =  6 */   1177,   1536,   2226,   2828,   3814,   4808, 
/* msg =   1293, deg =  6 */    776,   1329,   2021,   3065,   4611,   4743, 
/* msg =   1294, deg =  6 */   1067,   1224,   1958,   3132,   4116,   4683, 
/* msg =   1295, deg =  6 */   1141,   1629,   2202,   2834,   3915,   4788, 
/* msg =   1296, deg =  6 */    258,   1824,   2138,   2576,   3456,   4016, 
/* msg =   1297, deg =  6 */   1028,   1244,   1950,   3145,   4112,   4739, 
/* msg =   1298, deg =  6 */    203,   1844,   2060,   2563,   3474,   4049, 
/* msg =   1299, deg =  6 */     53,    254,   2166,   3328,   3422,   3660, 
/* msg =   1300, deg =  6 */    586,    788,   2063,   2967,   3846,   4448, 
/* msg =   1301, deg =  6 */     67,    820,   1219,   2689,   3043,   4085, 
/* msg =   1302, deg =  6 */    173,   1483,   2294,   2622,   2950,   3752, 
/* msg =   1303, deg =  6 */    246,   1445,   2185,   2695,   2922,   3807, 
/* msg =   1304, deg =  6 */    656,    735,   2045,   2906,   3931,   4412, 
/* msg =   1305, deg =  6 */     57,    150,   2056,   3362,   3451,   3552, 
/* msg =   1306, deg =  6 */      4,    542,   1421,   2469,   3684,   4703, 
/* msg =   1307, deg =  6 */    507,    993,   1417,   3160,   4082,   4408, 
/* msg =   1308, deg =  6 */    329,    937,   2307,   3868,   4228,   4825, 
/* msg =   1309, deg =  6 */    689,   1303,   1907,   3082,   4552,   4626, 
/* msg =   1310, deg =  6 */   1045,   1272,   2011,   3180,   4120,   4627, 
/* msg =   1311, deg =  6 */    669,   1729,   2329,   3510,   4585,   4793, 
/* msg =   1312, deg =  6 */    430,   1266,   2372,   2740,   3625,   4010, 
/* msg =   1313, deg =  6 */    356,    927,   2383,   2934,   3743,   4274, 
/* msg =   1314, deg =  6 */    673,   1707,   2424,   3407,   4561,   4864, 
/* msg =   1315, deg =  6 */    590,    719,   2173,   2895,   3837,   4370, 
/* msg =   1316, deg =  6 */    634,    807,   2055,   2983,   3830,   4404, 
/* msg =   1317, deg =  6 */    521,    975,   1386,   3215,   4147,   4377, 
/* msg =   1318, deg =  6 */     20,    947,   1118,   2708,   3069,   4210, 
/* msg =   1319, deg =  6 */    708,   1168,   1574,   3137,   3323,   4296, 
/* msg =   1320, deg =  6 */    297,    872,   2306,   3832,   4219,   4856, 
/* msg =   1321, deg =  6 */    531,   1271,   2346,   2845,   3552,   4042, 
/* msg =   1322, deg =  6 */     41,    247,   2084,   3350,   3460,   3578, 
/* msg =   1323, deg =  6 */    728,   1267,   1936,   3064,   4515,   4656, 
/* msg =   1324, deg =  6 */    805,   1156,   1575,   3129,   3352,   4285, 
/* msg =   1325, deg =  6 */    176,   1799,   2041,   2494,   3431,   4040, 
/* msg =   1326, deg =  6 */     78,    888,   1171,   2694,   3018,   4152, 
/* msg =   1327, deg =  6 */     72,    209,   2105,   3389,   3433,   3600, 
/* msg =   1328, deg =  6 */     90,    474,   1440,   2521,   3677,   4640, 
/* msg =   1329, deg =  6 */    174,   1375,   2250,   2623,   2985,   3733, 
/* msg =   1330, deg =  6 */   1586,   1881,   1929,   3354,   3635,   4365, 
/* msg =   1331, deg =  6 */    393,   1041,   1651,   2849,   3081,   4498, 
/* msg =   1332, deg =  6 */    298,    973,   1666,   2852,   3015,   4555, 
/* msg =   1333, deg =  6 */    176,   1486,   2267,   2628,   2989,   3771, 
/* msg =   1334, deg =  6 */    277,    912,   2387,   2965,   3750,   4260, 
/* msg =   1335, deg =  6 */    684,   1346,   2014,   3040,   4583,   4731, 
/* msg =   1336, deg =  6 */      2,    823,   1104,   2653,   3035,   4083, 
/* msg =   1337, deg =  6 */    753,   1219,   1617,   3187,   3368,   4346, 
/* msg =   1338, deg =  6 */    267,   1769,   2122,   2554,   3400,   3983, 
/* msg =   1339, deg =  6 */    205,   1898,   2133,   2462,   3528,   4061, 
/* msg =   1340, deg =  6 */    432,   1065,   1408,   3136,   4080,   4404, 
/* msg =   1341, deg =  6 */   1072,   1270,   1924,   3172,   4108,   4709, 
/* msg =   1342, deg =  6 */    694,   1194,   1533,   3135,   3288,   4325, 
/* msg =   1343, deg =  6 */     10,    162,   2054,   3390,   3482,   3551, 
/* msg =   1344, deg =  6 */    377,    993,   1670,   2841,   3033,   4509, 
/* msg =   1345, deg =  6 */    633,   1712,   1775,   2475,   2643,   4036, 
/* msg =   1346, deg =  6 */    244,   1372,   2305,   2693,   2937,   3741, 
/* msg =   1347, deg =  6 */    553,   1665,   2431,   3431,   4520,   4863, 
/* msg =   1348, deg =  6 */    110,    419,   1383,   2541,   3787,   4748, 
/* msg =   1349, deg =  6 */    302,   1043,   1732,   2734,   3085,   4604, 
/* msg =   1350, deg =  6 */    114,    950,   1188,   2587,   3040,   4211, 
/* msg =   1351, deg =  6 */    263,   1406,   2249,   2707,   2893,   3743, 
/* msg =   1352, deg =  6 */    575,   1645,   1891,   2483,   2687,   3975, 
/* msg =   1353, deg =  6 */   1025,   1346,   1991,   3253,   4133,   4727, 
/* msg =   1354, deg =  6 */    346,    880,   2256,   3884,   4333,   4851, 
/* msg =   1355, deg =  6 */     63,    922,   1190,   2657,   3013,   4184, 
/* msg =   1356, deg =  6 */    655,    726,   2175,   2898,   3926,   4406, 
/* msg =   1357, deg =  6 */    299,    964,   1679,   2821,   3002,   4594, 
/* msg =   1358, deg =  6 */    771,   1244,   1984,   3031,   4497,   4704, 
/* msg =   1359, deg =  6 */    798,   1164,   1498,   3232,   3398,   4294, 
/* msg =   1360, deg =  6 */    776,   1102,   1537,   3152,   3374,   4231, 
/* msg =   1361, deg =  6 */    623,    787,   2171,   2966,   3813,   4384, 
/* msg =   1362, deg =  6 */    726,   1170,   1519,   3179,   3293,   4301, 
/* msg =   1363, deg =  6 */    345,    948,   2393,   2867,   3756,   4233, 
/* msg =   1364, deg =  6 */    965,   1318,   2021,   3218,   4190,   4675, 
/* msg =   1365, deg =  6 */    311,   1055,   1737,   2743,   3095,   4610, 
/* msg =   1366, deg =  6 */    238,   1432,   2178,   2687,   2912,   3795, 
/* msg =   1367, deg =  6 */    676,   1635,   1849,   2550,   2612,   4074, 
/* msg =   1368, deg =  6 */    811,   1345,   2020,   3014,   4596,   4742, 
/* msg =   1369, deg =  6 */   1188,   1549,   2233,   2836,   3819,   4816, 
/* msg =   1370, deg =  6 */    325,    911,   2426,   2937,   3785,   4229, 
/* msg =   1371, deg =  6 */     35,    901,   1098,   2648,   3100,   4162, 
/* msg =   1372, deg =  6 */    565,    733,   2116,   2910,   3888,   4468, 
/* msg =   1373, deg =  6 */    316,    978,   1689,   2838,   3021,   4608, 
/* msg =   1374, deg =  6 */    470,    955,   1381,   3262,   4176,   4370, 
/* msg =   1375, deg =  6 */    769,   1300,   1961,   2999,   4528,   4681, 
/* msg =   1376, deg =  6 */    363,    818,   2368,   2933,   3733,   4256, 
/* msg =   1377, deg =  6 */    525,   1015,   1434,   3179,   4101,   4428, 
/* msg =   1378, deg =  6 */     73,    502,   1484,   2453,   3769,   4757, 
/* msg =   1379, deg =  6 */   1026,   1249,   1975,   3156,   4183,   4672, 
/* msg =   1380, deg =  6 */    123,    229,   2148,   3393,   3437,   3646, 
/* msg =   1381, deg =  6 */   1128,   1502,   2300,   2731,   3893,   4882, 
/* msg =   1382, deg =  6 */    568,   1736,   2326,   3434,   4595,   4765, 
/* msg =   1383, deg =  6 */    437,   1024,   1361,   3172,   4134,   4352, 
/* msg =   1384, deg =  6 */    275,   1029,   1699,   2740,   3071,   4536, 
/* msg =   1385, deg =  6 */    624,   1698,   1811,   2490,   2607,   4024, 
/* msg =   1386, deg =  6 */    315,    827,   2255,   3849,   4281,   4869, 
/* msg =   1387, deg =  6 */    361,    889,   2287,   3899,   4251,   4883, 
/* msg =   1388, deg =  6 */     47,    857,   1194,   2608,   3060,   4121, 
/* msg =   1389, deg =  6 */    552,   1693,   2399,   3443,   4546,   4813, 
/* msg =   1390, deg =  6 */     36,    904,   1109,   2656,   3109,   4168, 
/* msg =   1391, deg =  6 */   1157,   1591,   2194,   2779,   3853,   4780, 
/* msg =   1392, deg =  6 */    488,   1264,   2416,   2804,   3633,   3944, 
/* msg =   1393, deg =  6 */    299,    918,   2267,   3837,   4291,   4778, 
/* msg =   1394, deg =  6 */    348,   1036,   1700,   2825,   3073,   4524, 
/* msg =   1395, deg =  6 */    413,   1040,   1387,   3250,   4193,   4378, 
/* msg =   1396, deg =  6 */      8,    146,   2170,   3369,   3467,   3665, 
/* msg =   1397, deg =  6 */     69,    465,   1450,   2449,   3738,   4720, 
/* msg =   1398, deg =  6 */   1013,   1322,   1946,   3228,   4189,   4635, 
/* msg =   1399, deg =  6 */    483,   1243,   2337,   2798,   3582,   4047, 
/* msg =   1400, deg =  6 */     39,    424,   1362,   2504,   3759,   4694, 
/* msg =   1401, deg =  6 */    277,    984,   1738,   2854,   3027,   4600, 
/* msg =   1402, deg =  6 */    132,    418,   1442,   2563,   3804,   4689, 
/* msg =   1403, deg =  6 */    624,    797,   2041,   2974,   3818,   4397, 
/* msg =   1404, deg =  6 */    726,   1252,   1916,   3087,   4616,   4638, 
/* msg =   1405, deg =  6 */    480,   1351,   2333,   2792,   3618,   3983, 
/* msg =   1406, deg =  6 */    566,   1731,   2318,   3424,   4589,   4894, 
/* msg =   1407, deg =  6 */    528,   1289,   2391,   2840,   3626,   3955, 
/* msg =   1408, deg =  6 */    386,    913,   2309,   3920,   4277,   4769, 
/* msg =   1409, deg =  6 */    637,    738,   2073,   2916,   3839,   4483, 
/* msg =   1410, deg =  6 */    460,   1323,   2447,   2774,   3599,   3953, 
/* msg =   1411, deg =  6 */   1186,   1617,   2231,   2813,   3886,   4810, 
/* msg =   1412, deg =  6 */    678,   1690,   1790,   2455,   2698,   4079, 
/* msg =   1413, deg =  6 */    645,    704,   2117,   2885,   3898,   4371, 
/* msg =   1414, deg =  6 */    511,    954,   1370,   3195,   4128,   4364, 
/* msg =   1415, deg =  6 */   1165,   1612,   2304,   2827,   3847,   4888, 
/* msg =   1416, deg =  6 */    324,    940,   2289,   3858,   4316,   4800, 
/* msg =   1417, deg =  6 */    644,   1716,   1830,   2492,   2623,   4042, 
/* msg =   1418, deg =  6 */    725,   1281,   1976,   3126,   4578,   4696, 
/* msg =   1419, deg =  6 */    617,    695,   2140,   2871,   3894,   4374, 
/* msg =   1420, deg =  6 */    621,   1637,   1871,   2448,   2642,   4023, 
/* msg =   1421, deg =  6 */    205,   1380,   2186,   2654,   2977,   3784, 
/* msg =   1422, deg =  6 */    510,   1344,   2319,   2823,   3569,   3954, 
/* msg =   1423, deg =  6 */    748,   1106,   1620,   3132,   3320,   4232, 
/* msg =   1424, deg =  6 */   1145,   1578,   2187,   2771,   3842,   4773, 
/* msg =   1425, deg =  6 */    235,   1421,   2248,   2682,   2982,   3672, 
/* msg =   1426, deg =  6 */    666,    770,   2107,   2945,   3871,   4379, 
/* msg =   1427, deg =  6 */    675,   1644,   1807,   2534,   2640,   4073, 
/* msg =   1428, deg =  6 */    113,    940,   1177,   2715,   3038,   4205, 
/* msg =   1429, deg =  6 */    182,   1379,   2256,   2631,   2858,   3736, 
/* msg =   1430, deg =  6 */    331,    847,   2268,   3865,   4301,   4884, 
/* msg =   1431, deg =  6 */    124,    490,   1376,   2555,   3741,   4624, 
/* msg =   1432, deg =  6 */    583,    745,   2130,   2921,   3904,   4482, 
/* msg =   1433, deg =  6 */    317,    900,   2419,   2928,   3782,   4216, 
/* msg =   1434, deg =  6 */   1625,   1789,   1968,   3396,   3539,   4404, 
/* msg =   1435, deg =  6 */    762,   1338,   1912,   3118,   4532,   4632, 
/* msg =   1436, deg =  6 */    636,   1647,   2420,   3485,   4503,   4876, 
/* msg =   1437, deg =  6 */     11,    460,   1475,   2476,   3742,   4753, 
/* msg =   1438, deg =  6 */     97,    841,   1184,   2631,   2998,   4105, 
/* msg =   1439, deg =  6 */    576,   1750,   2333,   3445,   4603,   4773, 
/* msg =   1440, deg =  6 */    274,   1063,   1669,   2730,   3100,   4512, 
/* msg =   1441, deg =  6 */     32,    905,   1213,   2668,   3029,   4169, 
/* msg =   1442, deg =  6 */     98,    852,   1195,   2639,   3000,   4118, 
/* msg =   1443, deg =  6 */     83,    447,   1431,   2463,   3719,   4699, 
/* msg =   1444, deg =  6 */    255,   1395,   2242,   2699,   2884,   3732, 
/* msg =   1445, deg =  6 */   1182,   1533,   2246,   2742,   3817,   4827, 
/* msg =   1446, deg =  6 */     45,    477,   1412,   2510,   3807,   4736, 
/* msg =   1447, deg =  6 */    501,   1258,   2352,   2814,   3596,   4057, 
/* msg =   1448, deg =  6 */    378,    846,   2424,   2902,   3788,   4265, 
/* msg =   1449, deg =  6 */   1547,   1845,   2026,   3317,   3594,   4463, 
/* msg =   1450, deg =  6 */    410,   1304,   2406,   2721,   3640,   3972, 
/* msg =   1451, deg =  6 */    968,   1267,   1996,   3174,   4157,   4726, 
/* msg =   1452, deg =  6 */    353,    887,   2272,   3888,   4247,   4875, 
/* msg =   1453, deg =  6 */    655,   1658,   2435,   3499,   4517,   4891, 
/* msg =   1454, deg =  6 */    440,   1236,   2441,   2752,   3635,   4064, 
/* msg =   1455, deg =  6 */    280,    972,   1634,   2766,   3014,   4598, 
/* msg =   1456, deg =  6 */    570,    811,   2147,   2989,   3909,   4418, 
/* msg =   1457, deg =  6 */    580,    708,   2166,   2886,   3825,   4363, 
/* msg =   1458, deg =  6 */    779,   1314,   1988,   3112,   4562,   4705, 
/* msg =   1459, deg =  6 */     38,    923,   1124,   2672,   3127,   4185, 
/* msg =   1460, deg =  6 */    123,    481,   1372,   2554,   3730,   4754, 
/* msg =   1461, deg =  6 */    638,    752,   2169,   2928,   3870,   4394, 
/* msg =   1462, deg =  6 */     73,    217,   2119,   3399,   3444,   3610, 
/* msg =   1463, deg =  6 */   1552,   1851,   2033,   3320,   3606,   4468, 
/* msg =   1464, deg =  6 */   1096,   1618,   2237,   2737,   3841,   4823, 
/* msg =   1465, deg =  6 */    657,   1711,   2434,   3442,   4563,   4822, 
/* msg =   1466, deg =  6 */     95,    829,   1170,   2615,   3115,   4094, 
/* msg =   1467, deg =  6 */   1212,   1504,   2252,   2838,   3907,   4833, 
/* msg =   1468, deg =  6 */    562,    690,   2144,   2869,   3808,   4480, 
/* msg =   1469, deg =  6 */    240,   1859,   2110,   2485,   3493,   3973, 
/* msg =   1470, deg =  6 */   1048,   1243,   2034,   3150,   4084,   4681, 
/* msg =   1471, deg =  6 */    588,   1633,   2365,   3505,   4488,   4883, 
/* msg =   1472, deg =  6 */    585,   1714,   2349,   3515,   4570,   4857, 
/* msg =   1473, deg =  6 */    480,   1081,   1478,   3135,   4114,   4471, 
/* msg =   1474, deg =  6 */    225,   1472,   2224,   2672,   2988,   3739, 
/* msg =   1475, deg =  6 */    200,   1371,   2289,   2652,   2873,   3799, 
/* msg =   1476, deg =  6 */   1197,   1630,   2238,   2821,   3891,   4818, 
/* msg =   1477, deg =  6 */    562,   1724,   1903,   2578,   2621,   3965, 
/* msg =   1478, deg =  6 */     94,    818,   1165,   2607,   3106,   4081, 
/* msg =   1479, deg =  6 */    343,    827,   2374,   2989,   3731,   4342, 
/* msg =   1480, deg =  6 */    534,   1017,   1447,   3189,   4106,   4434, 
/* msg =   1481, deg =  6 */    576,    777,   2048,   2957,   3833,   4441, 
/* msg =   1482, deg =  6 */    358,    855,   2430,   2958,   3786,   4351, 
/* msg =   1483, deg =  6 */    353,    967,   1649,   2785,   3007,   4522, 
/* msg =   1484, deg =  6 */   1583,   1774,   2021,   3348,   3544,   4472, 
/* msg =   1485, deg =  6 */     33,    459,   1406,   2498,   3758,   4702, 
/* msg =   1486, deg =  6 */    184,   1490,   2275,   2636,   2862,   3776, 
/* msg =   1487, deg =  6 */     83,    933,   1211,   2598,   3056,   4195, 
/* msg =   1488, deg =  6 */    629,   1653,   1828,   2569,   2685,   4026, 
/* msg =   1489, deg =  6 */    443,   1043,   1433,   3229,   4208,   4425, 
/* msg =   1490, deg =  6 */    153,   1889,   2117,   2515,   3520,   4073, 
/* msg =   1491, deg =  6 */    495,   1228,   2445,   2803,   3648,   4003, 
/* msg =   1492, deg =  6 */    447,   1282,   2387,   2757,   3647,   4028, 
/* msg =   1493, deg =  6 */    103,    260,   2059,   3331,   3414,   3557, 
/* msg =   1494, deg =  6 */    152,   1773,   2158,   2491,   3406,   4018, 
/* msg =   1495, deg =  6 */    223,   1870,   2161,   2536,   3500,   3974, 
/* msg =   1496, deg =  6 */   1616,   1847,   2023,   3388,   3643,   4367, 
/* msg =   1497, deg =  6 */    343,    899,   2231,   3877,   4343,   4796, 
/* msg =   1498, deg =  6 */    781,   1354,   1933,   2993,   4544,   4654, 
/* msg =   1499, deg =  6 */    106,    148,   2080,   3355,   3438,   3576, 
/* msg =   1500, deg =  6 */    593,   1750,   1846,   2462,   2618,   3993, 
/* msg =   1501, deg =  6 */     64,    934,   1193,   2665,   3023,   4198, 
/* msg =   1502, deg =  6 */     96,    176,   2146,   3332,   3494,   3641, 
/* msg =   1503, deg =  6 */    180,   1442,   2240,   2629,   2874,   3679, 
/* msg =   1504, deg =  6 */    197,   1368,   2179,   2646,   2968,   3781, 
/* msg =   1505, deg =  6 */   1017,   1314,   1905,   3217,   4204,   4632, 
/* msg =   1506, deg =  6 */    732,   1167,   1588,   3213,   3391,   4292, 
/* msg =   1507, deg =  6 */    600,   1652,   2381,   3527,   4509,   4761, 
/* msg =   1508, deg =  6 */    567,   1685,   1870,   2522,   2593,   3967, 
/* msg =   1509, deg =  6 */     93,    951,   1155,   2599,   3097,   4212, 
/* msg =   1510, deg =  6 */    629,   1743,   2362,   3497,   4594,   4794, 
/* msg =   1511, deg =  6 */    555,    710,   2149,   2883,   3851,   4414, 
/* msg =   1512, deg =  6 */    160,   1469,   2254,   2612,   2971,   3755, 
/* msg =   1513, deg =  6 */    409,   1269,   2428,   2720,   3656,   4030, 
/* msg =   1514, deg =  6 */   1019,   1348,   2001,   3255,   4191,   4652, 
/* msg =   1515, deg =  6 */    475,    982,   1379,   3225,   4199,   4374, 
/* msg =   1516, deg =  6 */    336,    866,   2257,   3872,   4226,   4860, 
/* msg =   1517, deg =  6 */    170,   1874,   2049,   2582,   3505,   4067, 
/* msg =   1518, deg =  6 */    429,   1020,   1493,   3162,   4122,   4483, 
/* msg =   1519, deg =  6 */    373,   1047,   1736,   2784,   3084,   4494, 
/* msg =   1520, deg =  6 */    394,    819,   2280,   3930,   4263,   4849, 
/* msg =   1521, deg =  6 */    210,   1781,   2091,   2570,   3415,   3971, 
/* msg =   1522, deg =  6 */     26,    858,   1160,   2620,   3117,   4122, 
/* msg =   1523, deg =  6 */    175,   1455,   2300,   2619,   2939,   3790, 
/* msg =   1524, deg =  6 */    158,   1494,   2236,   2607,   2975,   3717, 
/* msg =   1525, deg =  6 */    536,   1257,   2421,   2848,   3652,   4018, 
/* msg =   1526, deg =  6 */    813,   1138,   1539,   3241,   3289,   4266, 
/* msg =   1527, deg =  6 */    112,    931,   1174,   2707,   3028,   4193, 
/* msg =   1528, deg =  6 */    688,   1224,   2034,   3024,   4610,   4757, 
/* msg =   1529, deg =  6 */    457,   1251,   2320,   2768,   3649,   3946, 
/* msg =   1530, deg =  6 */   1612,   1859,   1951,   3378,   3647,   4411, 
/* msg =   1531, deg =  6 */    612,   1689,   1886,   2472,   2619,   4013, 
/* msg =   1532, deg =  6 */    220,   1487,   2283,   2669,   2917,   3714, 
/* msg =   1533, deg =  6 */    245,   1805,   2174,   2450,   3438,   3964, 
/* msg =   1534, deg =  6 */    605,   1675,   1785,   2487,   2719,   4003, 
/* msg =   1535, deg =  6 */    761,   1232,   1978,   3023,   4491,   4698, 
/* msg =   1536, deg =  6 */    577,    789,   2099,   2962,   3848,   4470, 
/* msg =   1537, deg =  6 */    757,   1124,   1595,   3198,   3356,   4249, 
/* msg =   1538, deg =  6 */    304,   1019,   1639,   2744,   3057,   4497, 
/* msg =   1539, deg =  6 */   1030,   1277,   1910,   3182,   4099,   4752, 
/* msg =   1540, deg =  6 */    987,   1351,   1928,   3252,   4142,   4636, 
/* msg =   1541, deg =  6 */    175,   1821,   2113,   2547,   3451,   4059, 
/* msg =   1542, deg =  6 */    474,   1239,   2330,   2789,   3570,   4034, 
/* msg =   1543, deg =  6 */   1538,   1903,   1939,   3309,   3563,   4419, 
/* msg =   1544, deg =  6 */   1037,   1261,   1980,   3167,   4188,   4687, 
/* msg =   1545, deg =  6 */   1033,   1282,   1916,   3184,   4104,   4630, 
/* msg =   1546, deg =  6 */    313,    909,   2323,   2887,   3686,   4350, 
/* msg =   1547, deg =  6 */   1213,   1530,   2205,   2831,   3887,   4786, 
/* msg =   1548, deg =  6 */     42,    450,   1391,   2507,   3780,   4714, 
/* msg =   1549, deg =  6 */    541,   1319,   2332,   2855,   3548,   3997, 
/* msg =   1550, deg =  6 */    139,   1459,   2291,   2586,   2883,   3715, 
/* msg =   1551, deg =  6 */    246,   1771,   2093,   2532,   3402,   4076, 
/* msg =   1552, deg =  6 */    273,   1076,   1655,   2797,   3117,   4568, 
/* msg =   1553, deg =  6 */    674,   1681,   2321,   3523,   4537,   4777, 
/* msg =   1554, deg =  6 */    586,   1754,   2340,   3449,   4609,   4780, 
/* msg =   1555, deg =  6 */    555,   1636,   1831,   2465,   2699,   3957, 
/* msg =   1556, deg =  6 */    731,   1222,   1500,   3192,   3282,   4347, 
/* msg =   1557, deg =  6 */    983,   1347,   1945,   3254,   4198,   4699, 
/* msg =   1558, deg =  6 */    626,   1634,   2412,   3474,   4489,   4869, 
/* msg =   1559, deg =  6 */    152,   1457,   2247,   2604,   2963,   3745, 
/* msg =   1560, deg =  6 */     81,    145,   2044,   3323,   3507,   3541, 
/* msg =   1561, deg =  6 */   1131,   1560,   2310,   2755,   3825,   4894, 
/* msg =   1562, deg =  6 */     12,    178,   2068,   3267,   3496,   3567, 
/* msg =   1563, deg =  6 */    671,   1739,   1855,   2495,   2647,   4071, 
/* msg =   1564, deg =  6 */    794,   1123,   1521,   3228,   3277,   4253, 
/* msg =   1565, deg =  6 */    172,   1437,   2233,   2621,   2865,   3804, 
/* msg =   1566, deg =  6 */   1555,   1803,   2029,   3321,   3584,   4352, 
/* msg =   1567, deg =  6 */     56,    142,   2049,   3352,   3447,   3549, 
/* msg =   1568, deg =  6 */    342,    989,   1734,   2798,   3030,   4581, 
/* msg =   1569, deg =  6 */    542,   1006,   1397,   3188,   4175,   4387, 
/* msg =   1570, deg =  6 */     18,    928,   1102,   2692,   3051,   4192, 
/* msg =   1571, deg =  6 */    347,    822,   2184,   3885,   4241,   4847, 
/* msg =   1572, deg =  6 */   1166,   1516,   2224,   2724,   3936,   4811, 
/* msg =   1573, deg =  6 */    207,   1851,   2147,   2534,   3486,   3957, 
/* msg =   1574, deg =  6 */    959,   1279,   1912,   3179,   4199,   4655, 
/* msg =   1575, deg =  6 */     34,    522,   1461,   2499,   3717,   4650, 
/* msg =   1576, deg =  6 */    591,   1736,   1832,   2461,   2610,   3988, 
/* msg =   1577, deg =  6 */   1605,   1792,   1904,   3370,   3570,   4362, 
/* msg =   1578, deg =  6 */   1205,   1569,   2235,   2807,   3827,   4821, 
/* msg =   1579, deg =  6 */    199,   1845,   2141,   2533,   3475,   3944, 
/* msg =   1580, deg =  6 */    144,   1896,   2150,   2490,   3531,   4012, 
/* msg =   1581, deg =  6 */    702,   1158,   1594,   3214,   3295,   4287, 
/* msg =   1582, deg =  6 */    191,   1839,   2135,   2549,   3471,   4075, 
/* msg =   1583, deg =  6 */    155,   1795,   2148,   2557,   3425,   4006, 
/* msg =   1584, deg =  6 */    486,    978,   1457,   3186,   4135,   4449, 
/* msg =   1585, deg =  6 */    980,   1278,   2003,   3183,   4163,   4733, 
/* msg =   1586, deg =  6 */    764,   1243,   1999,   2997,   4512,   4714, 
/* msg =   1587, deg =  6 */    121,    213,   2128,   3382,   3423,   3624, 
/* msg =   1588, deg =  6 */    361,    969,   1662,   2794,   3008,   4529, 
/* msg =   1589, deg =  6 */    756,   1213,   1515,   3131,   3344,   4343, 
/* msg =   1590, deg =  6 */    245,   1416,   2230,   2694,   2886,   3691, 
/* msg =   1591, deg =  6 */    471,   1327,   2344,   2779,   3583,   3951, 
/* msg =   1592, deg =  6 */    148,   1409,   2212,   2597,   2981,   3777, 
/* msg =   1593, deg =  6 */    631,   1706,   1898,   2474,   2635,   4031, 
/* msg =   1594, deg =  6 */   1194,   1563,   2228,   2799,   3823,   4813, 
/* msg =   1595, deg =  6 */    749,   1353,   1966,   3004,   4614,   4684, 
/* msg =   1596, deg =  6 */    376,   1028,   1632,   2839,   3070,   4622, 
/* msg =   1597, deg =  6 */    107,    156,   2094,   3365,   3441,   3587, 
/* msg =   1598, deg =  6 */    284,    842,   2310,   3823,   4287,   4872, 
/* msg =   1599, deg =  6 */     19,    487,   1428,   2484,   3779,   4723, 
/* msg =   1600, deg =  6 */     19,    179,   2055,   3364,   3417,   3547, 
/* msg =   1601, deg =  6 */   1222,   1573,   2281,   2783,   3862,   4865, 
/* msg =   1602, deg =  6 */     57,    412,   1466,   2573,   3800,   4721, 
/* msg =   1603, deg =  6 */    253,   1812,   2044,   2451,   3441,   3968, 
/* msg =   1604, deg =  6 */    150,   1808,   2134,   2520,   3440,   3980, 
/* msg =   1605, deg =  6 */     14,    916,   1200,   2613,   2996,   4177, 
/* msg =   1606, deg =  6 */    593,   1659,   2397,   3436,   4518,   4862, 
/* msg =   1607, deg =  6 */   1018,   1266,   2033,   3173,   4093,   4745, 
/* msg =   1608, deg =  6 */     91,    483,   1451,   2522,   3681,   4655, 
/* msg =   1609, deg =  6 */    326,   1078,   1746,   2790,   3119,   4591, 
/* msg =   1610, deg =  6 */    272,   1085,   1642,   2826,   3122,   4528, 
/* msg =   1611, deg =  6 */    544,   1748,   2344,   3524,   4607,   4808, 
/* msg =   1612, deg =  6 */    551,   1660,   2416,   3419,   4513,   4855, 
/* msg =   1613, deg =  6 */    178,   1450,   2273,   2625,   2978,   3801, 
/* msg =   1614, deg =  6 */    452,   1312,   2432,   2766,   3588,   3948, 
/* msg =   1615, deg =  6 */    195,   1838,   2053,   2562,   3470,   4045, 
/* msg =   1616, deg =  6 */    690,   1264,   1977,   3042,   4599,   4697, 
/* msg =   1617, deg =  6 */     27,    414,   1493,   2492,   3704,   4651, 
/* msg =   1618, deg =  6 */    109,    908,   1147,   2683,   3001,   4170, 
/* msg =   1619, deg =  6 */    970,   1302,   1956,   3204,   4137,   4738, 
/* msg =   1620, deg =  6 */    578,   1686,   1844,   2539,   2680,   3977, 
/* msg =   1621, deg =  6 */     76,    520,   1369,   2456,   3797,   4641, 
/* msg =   1622, deg =  6 */    515,   1291,   2446,   2829,   3659,   3974, 
/* msg =   1623, deg =  6 */    803,   1274,   2016,   3061,   4533,   4741, 
/* msg =   1624, deg =  6 */    466,   1053,   1468,   3153,   4094,   4462, 
/* msg =   1625, deg =  6 */    101,    216,   2051,   3375,   3532,   3545, 
/* msg =   1626, deg =  6 */   1510,   1890,   1976,   3275,   3540,   4443, 
/* msg =   1627, deg =  6 */    351,    992,   1739,   2806,   3032,   4587, 
/* msg =   1628, deg =  6 */    692,   1127,   1549,   3172,   3348,   4255, 
/* msg =   1629, deg =  6 */   1539,   1849,   1934,   3310,   3548,   4445, 
/* msg =   1630, deg =  6 */     80,    137,   2174,   3312,   3497,   3666, 
/* msg =   1631, deg =  6 */    785,   1301,   1947,   3057,   4499,   4665, 
/* msg =   1632, deg =  6 */    591,   1654,   2390,   3426,   4511,   4854, 
/* msg =   1633, deg =  6 */    379,    886,   2356,   2929,   3718,   4228, 
/* msg =   1634, deg =  6 */     65,    476,   1397,   2581,   3734,   4649, 
/* msg =   1635, deg =  6 */      7,    138,   2163,   3360,   3457,   3662, 
/* msg =   1636, deg =  6 */   1124,   1625,   2292,   2722,   3880,   4874, 
/* msg =   1637, deg =  6 */    801,   1115,   1598,   3262,   3372,   4246, 
/* msg =   1638, deg =  6 */    618,   1721,   1880,   2544,   2584,   4017, 
/* msg =   1639, deg =  6 */     88,    248,   2087,   3265,   3424,   3583, 
/* msg =   1640, deg =  6 */    108,    536,   1366,   2539,   3771,   4733, 
/* msg =   1641, deg =  6 */    581,    722,   2127,   2897,   3857,   4413, 
/* msg =   1642, deg =  6 */    611,   1760,   1857,   2464,   2634,   4009, 
/* msg =   1643, deg =  6 */    392,    874,   2225,   3928,   4254,   4877, 
/* msg =   1644, deg =  6 */    221,   1397,   2200,   2670,   2859,   3800, 
/* msg =   1645, deg =  6 */     28,    879,   1176,   2636,   2992,   4140, 
/* msg =   1646, deg =  6 */     91,    932,   1140,   2719,   3086,   4194, 
/* msg =   1647, deg =  6 */    799,   1110,   1585,   3253,   3363,   4239, 
/* msg =   1648, deg =  6 */     44,    834,   1169,   2584,   3032,   4097, 
/* msg =   1649, deg =  6 */   1590,   1809,   1991,   3356,   3613,   4470, 
/* msg =   1650, deg =  6 */    402,    818,   2296,   3941,   4311,   4873, 
/* msg =   1651, deg =  6 */    550,   1687,   2384,   3432,   4540,   4805, 
/* msg =   1652, deg =  6 */    161,   1903,   2125,   2499,   3530,   3950, 
/* msg =   1653, deg =  6 */    647,   1694,   2419,   3429,   4550,   4806, 
/* msg =   1654, deg =  6 */    322,    894,   2344,   2898,   3704,   4244, 
/* msg =   1655, deg =  6 */    337,   1048,   1668,   2777,   3088,   4533, 
/* msg =   1656, deg =  6 */     28,    416,   1361,   2493,   3716,   4659, 
/* msg =   1657, deg =  6 */   1202,   1565,   2255,   2854,   3835,   4839, 
/* msg =   1658, deg =  6 */    606,   1657,   1884,   2502,   2654,   4004, 
/* msg =   1659, deg =  6 */   1592,   1814,   1969,   3360,   3575,   4414, 
/* msg =   1660, deg =  6 */    365,    873,   2298,   3898,   4331,   4777, 
/* msg =   1661, deg =  6 */    582,   1756,   2414,   3402,   4614,   4888, 
/* msg =   1662, deg =  6 */    634,   1761,   2394,   3428,   4617,   4774, 
/* msg =   1663, deg =  6 */    782,   1288,   1942,   3049,   4493,   4659, 
/* msg =   1664, deg =  6 */    251,   1894,   2108,   2552,   3523,   3966, 
/* msg =   1665, deg =  6 */    718,   1321,   1934,   3110,   4580,   4655, 
/* msg =   1666, deg =  6 */    709,   1196,   1615,   3171,   3394,   4322, 
/* msg =   1667, deg =  6 */    298,    949,   2233,   3833,   4271,   4853, 
/* msg =   1668, deg =  6 */    601,   1739,   2445,   3492,   4593,   4859, 
/* msg =   1669, deg =  6 */    545,    701,   2143,   2875,   3840,   4400, 
/* msg =   1670, deg =  6 */    202,   1768,   2085,   2569,   3404,   3967, 
/* msg =   1671, deg =  6 */    998,   1355,   1942,   3261,   4147,   4643, 
/* msg =   1672, deg =  6 */    376,    932,   2274,   3912,   4286,   4850, 
/* msg =   1673, deg =  6 */     74,    510,   1488,   2454,   3782,   4627, 
/* msg =   1674, deg =  6 */    491,   1060,   1360,   3222,   4107,   4356, 
/* msg =   1675, deg =  6 */    569,    778,   2093,   2952,   3845,   4457, 
/* msg =   1676, deg =  6 */    668,   1641,   2400,   3406,   4499,   4832, 
/* msg =   1677, deg =  6 */    608,   1657,   2388,   3529,   4516,   4769, 
/* msg =   1678, deg =  6 */    594,    744,   2054,   2920,   3889,   4453, 
/* msg =   1679, deg =  6 */   1581,   1876,   1923,   3351,   3624,   4359, 
/* msg =   1680, deg =  6 */    573,    712,   2119,   2888,   3852,   4407, 
/* msg =   1681, deg =  6 */    103,    861,   1103,   2635,   3089,   4123, 
/* msg =   1682, deg =  6 */    533,   1261,   2379,   2842,   3669,   4027, 
/* msg =   1683, deg =  6 */     38,    223,   2063,   3327,   3435,   3559, 
/* msg =   1684, deg =  6 */    326,    886,   2209,   3860,   4324,   4781, 
/* msg =   1685, deg =  6 */     22,    203,   2076,   3386,   3442,   3573, 
/* msg =   1686, deg =  6 */    510,   1009,   1412,   3257,   4091,   4406, 
/* msg =   1687, deg =  6 */   1571,   1897,   2008,   3337,   3541,   4465, 
/* msg =   1688, deg =  6 */     59,    166,   2078,   3383,   3471,   3575, 
/* msg =   1689, deg =  6 */    550,   1640,   1862,   2551,   2620,   3951, 
/* msg =   1690, deg =  6 */     10,    882,   1172,   2717,   3103,   4149, 
/* msg =   1691, deg =  6 */    155,   1475,   2306,   2602,   2901,   3731, 
/* msg =   1692, deg =  6 */   1041,   1259,   1963,   3165,   4130,   4754, 
/* msg =   1693, deg =  6 */    316,    931,   2282,   3853,   4310,   4793, 
/* msg =   1694, deg =  6 */    630,    773,   2174,   2951,   3906,   4458, 
/* msg =   1695, deg =  6 */   1199,   1554,   2240,   2845,   3831,   4824, 
/* msg =   1696, deg =  6 */   1207,   1556,   2266,   2767,   3846,   4849, 
/* msg =   1697, deg =  6 */    657,   1762,   1788,   2549,   2624,   4057, 
/* msg =   1698, deg =  6 */    333,    979,   1722,   2789,   3022,   4575, 
/* msg =   1699, deg =  6 */   1058,   1254,   1911,   3159,   4089,   4688, 
/* msg =   1700, deg =  6 */   1015,   1309,   2036,   3215,   4192,   4625, 
/* msg =   1701, deg =  6 */    625,    694,   2096,   2868,   3882,   4358, 
/* msg =   1702, deg =  6 */    680,   1332,   1980,   3088,   4535,   4702, 
/* msg =   1703, deg =  6 */    672,    711,   2089,   2884,   3866,   4442, 
/* msg =   1704, deg =  6 */    724,   1277,   1963,   3015,   4557,   4686, 
/* msg =   1705, deg =  6 */   1093,   1615,   2230,   2728,   3836,   4815, 
/* msg =   1706, deg =  6 */    280,    859,   2291,   3816,   4336,   4840, 
/* msg =   1707, deg =  6 */    969,   1356,   1987,   3257,   4182,   4702, 
/* msg =   1708, deg =  6 */   1175,   1558,   2309,   2812,   3918,   4891, 
/* msg =   1709, deg =  6 */     37,    413,   1482,   2502,   3736,   4672, 
/* msg =   1710, deg =  6 */     95,    519,   1485,   2526,   3712,   4684, 
/* msg =   1711, deg =  6 */     61,    911,   1168,   2641,   2994,   4175, 
/* msg =   1712, deg =  6 */      0,    218,   2109,   3311,   3405,   3607, 
/* msg =   1713, deg =  6 */    755,   1186,   1611,   3235,   3279,   4317, 
/* msg =   1714, deg =  6 */    341,   1003,   1712,   2720,   3041,   4499, 
/* msg =   1715, deg =  6 */    366,    857,   2438,   2960,   3798,   4220, 
/* msg =   1716, deg =  6 */    484,    984,   1391,   3236,   4203,   4380, 
/* msg =   1717, deg =  6 */    254,   1776,   2099,   2516,   3413,   3945, 
/* msg =   1718, deg =  6 */    352,    968,   1646,   2823,   3013,   4618, 
/* msg =   1719, deg =  6 */    398,    836,   2269,   3931,   4319,   4818, 
/* msg =   1720, deg =  6 */    549,   1650,   1814,   2535,   2648,   3950, 
/* msg =   1721, deg =  6 */     54,    521,   1446,   2570,   3781,   4700, 
/* msg =   1722, deg =  6 */    354,   1069,   1686,   2795,   3106,   4545, 
/* msg =   1723, deg =  6 */    218,   1488,   2180,   2665,   2887,   3707, 
/* msg =   1724, deg =  6 */    454,   1021,   1459,   3180,   4200,   4454, 
/* msg =   1725, deg =  6 */    567,    769,   2087,   2944,   3832,   4451, 
/* msg =   1726, deg =  6 */    366,   1027,   1743,   2746,   3069,   4520, 
/* msg =   1727, deg =  6 */    813,   1248,   1965,   3030,   4579,   4683, 
/* msg =   1728, deg =  6 */     45,    143,   2117,   3376,   3495,   3614, 
/* msg =   1729, deg =  6 */    760,   1299,   1969,   3102,   4549,   4692, 
/* msg =   1730, deg =  6 */    387,    923,   2301,   3921,   4233,   4889, 
/* msg =   1731, deg =  6 */   1195,   1510,   2203,   2725,   3872,   4789, 
/* msg =   1732, deg =  6 */   1546,   1871,   1960,   3316,   3602,   4377, 
/* msg =   1733, deg =  6 */    438,   1277,   2380,   2748,   3636,   4016, 
/* msg =   1734, deg =  6 */    422,   1004,   1418,   3247,   4183,   4409, 
/* msg =   1735, deg =  6 */     34,    890,   1095,   2640,   3091,   4156, 
/* msg =   1736, deg =  6 */     37,    914,   1114,   2664,   3118,   4180, 
/* msg =   1737, deg =  6 */    398,   1084,   1747,   2741,   3121,   4572, 
/* msg =   1738, deg =  6 */   1107,   1631,   2244,   2745,   3852,   4831, 
/* msg =   1739, deg =  6 */   1542,   1839,   2019,   3307,   3591,   4449, 
/* msg =   1740, deg =  6 */    712,   1207,   1618,   3180,   3269,   4335, 
/* msg =   1741, deg =  6 */    420,   1317,   2414,   2730,   3651,   3977, 
/* msg =   1742, deg =  6 */     72,    493,   1479,   2452,   3766,   4750, 
/* msg =   1743, deg =  6 */    130,    149,   2067,   3314,   3489,   3566, 
/* msg =   1744, deg =  6 */    613,   1687,   1792,   2488,   2591,   4014, 
/* msg =   1745, deg =  6 */    455,   1348,   2444,   2764,   3544,   4011, 
/* msg =   1746, deg =  6 */    797,   1118,   1555,   3173,   3387,   4244, 
/* msg =   1747, deg =  6 */    319,    916,   2363,   2974,   3725,   4339, 
/* msg =   1748, deg =  6 */    437,   1333,   2429,   2747,   3666,   3995, 
/* msg =   1749, deg =  6 */    342,    895,   2239,   3876,   4243,   4812, 
/* msg =   1750, deg =  6 */    410,   1000,   1476,   3150,   4111,   4469, 
/* msg =   1751, deg =  6 */    328,   1044,   1663,   2769,   3086,   4526, 
/* msg =   1752, deg =  6 */     50,    183,   2159,   3283,   3533,   3655, 
/* msg =   1753, deg =  6 */    188,   1453,   2255,   2637,   2882,   3683, 
/* msg =   1754, deg =  6 */   1001,   1326,   1965,   3230,   4110,   4698, 
/* msg =   1755, deg =  6 */    650,   1677,   1853,   2572,   2709,   4048, 
/* msg =   1756, deg =  6 */    753,   1335,   1906,   3109,   4525,   4625, 
/* msg =   1757, deg =  6 */    339,    908,   2367,   2915,   3727,   4263, 
/* msg =   1758, deg =  6 */   1112,   1500,   2251,   2754,   3857,   4838, 
/* msg =   1759, deg =  6 */    169,   1772,   2131,   2500,   3405,   3955, 
/* msg =   1760, deg =  6 */    644,   1638,   2402,   3438,   4495,   4781, 
/* msg =   1761, deg =  6 */    600,    706,   2046,   2881,   3942,   4450, 
/* msg =   1762, deg =  6 */    545,   1767,   1818,   2481,   2691,   3944, 
/* msg =   1763, deg =  6 */    519,   1273,   2368,   2831,   3610,   4073, 
/* msg =   1764, deg =  6 */    737,   1268,   1929,   3098,   4500,   4652, 
/* msg =   1765, deg =  6 */    660,    805,   2064,   2978,   3939,   4354, 
/* msg =   1766, deg =  6 */    375,    920,   2266,   3908,   4273,   4842, 
/* msg =   1767, deg =  6 */    714,   1173,   1612,   3225,   3308,   4299, 
/* msg =   1768, deg =  6 */    613,   1737,   2372,   3403,   4596,   4880, 
/* msg =   1769, deg =  6 */    494,   1077,   1489,   3183,   4118,   4481, 
/* msg =   1770, deg =  6 */    121,    850,   1107,   2690,   3121,   4113, 
/* msg =   1771, deg =  6 */    560,   1668,   1825,   2537,   2664,   3960, 
/* msg =   1772, deg =  6 */     29,    259,   2130,   3307,   3503,   3629, 
/* msg =   1773, deg =  6 */    596,    798,   2070,   2975,   3849,   4462, 
/* msg =   1774, deg =  6 */    350,   1013,   1726,   2729,   3051,   4506, 
/* msg =   1775, deg =  6 */    774,   1254,   2006,   3007,   4527,   4722, 
/* msg =   1776, deg =  6 */    638,   1729,   1813,   2562,   2708,   4035, 
/* msg =   1777, deg =  6 */    310,    930,   2343,   2953,   3699,   4311, 
/* msg =   1778, deg =  6 */    578,   1764,   2357,   3503,   4618,   4875, 
/* msg =   1779, deg =  6 */    652,    806,   2109,   2982,   3814,   4368, 
/* msg =   1780, deg =  6 */     99,    410,   1382,   2530,   3744,   4719, 
/* msg =   1781, deg =  6 */    642,   1705,   2443,   3486,   4565,   4771, 
/* msg =   1782, deg =  6 */     23,    515,   1460,   2488,   3673,   4752, 
/* msg =   1783, deg =  6 */    215,   1856,   2155,   2535,   3488,   3962, 
/* msg =   1784, deg =  6 */    763,   1272,   1922,   3037,   4608,   4644, 
/* msg =   1785, deg =  6 */     49,    878,   1209,   2624,   3079,   4139, 
/* msg =   1786, deg =  6 */    230,   1888,   2072,   2530,   3525,   4060, 
/* msg =   1787, deg =  6 */   1079,   1324,   1955,   3225,   4146,   4665, 
/* msg =   1788, deg =  6 */    418,   1042,   1467,   3211,   4129,   4461, 
/* msg =   1789, deg =  6 */    530,    979,   1399,   3217,   4159,   4391, 
/* msg =   1790, deg =  6 */   1100,   1590,   2296,   2793,   3879,   4880, 
/* msg =   1791, deg =  6 */    304,    944,   2418,   2856,   3781,   4290, 
/* msg =   1792, deg =  6 */     28,    251,   2124,   3297,   3491,   3618, 
/* msg =   1793, deg =  6 */   1092,   1588,   2276,   2736,   3856,   4862, 
/* msg =   1794, deg =  6 */    746,   1114,   1590,   3188,   3345,   4245, 
/* msg =   1795, deg =  6 */    198,   1396,   2279,   2647,   2877,   3759, 
/* msg =   1796, deg =  6 */     78,    257,   2153,   3300,   3483,   3651, 
/* msg =   1797, deg =  6 */   1184,   1497,   2196,   2853,   3866,   4782, 
/* msg =   1798, deg =  6 */     14,    480,   1360,   2479,   3762,   4645, 
/* msg =   1799, deg =  6 */    526,    959,   1394,   3254,   4136,   4389, 
/* msg =   1800, deg =  6 */    533,    994,   1384,   3178,   4161,   4381, 
/* msg =   1801, deg =  6 */    742,   1172,   1593,   3223,   3393,   4298, 
/* msg =   1802, deg =  6 */    720,   1334,   1940,   3119,   4586,   4663, 
/* msg =   1803, deg =  6 */    395,    859,   2447,   2919,   3804,   4283, 
/* msg =   1804, deg =  6 */      7,    859,   1145,   2693,   3074,   4126, 
/* msg =   1805, deg =  6 */     79,    411,   1398,   2459,   3680,   4670, 
/* msg =   1806, deg =  6 */    545,   1721,   2376,   3511,   4580,   4858, 
/* msg =   1807, deg =  6 */     23,    835,   1143,   2596,   3090,   4098, 
/* msg =   1808, deg =  6 */    661,   1697,   2352,   3487,   4552,   4835, 
/* msg =   1809, deg =  6 */    305,    915,   2285,   3841,   4340,   4801, 
/* msg =   1810, deg =  6 */    313,    924,   2292,   3852,   4346,   4809, 
/* msg =   1811, deg =  6 */   1579,   1812,   2006,   3349,   3652,   4390, 
/* msg =   1812, deg =  6 */    589,   1722,   2430,   3479,   4581,   4843, 
/* msg =   1813, deg =  6 */    552,    812,   2095,   2990,   3924,   4454, 
/* msg =   1814, deg =  6 */    141,   1836,   2064,   2454,   3465,   3999, 
/* msg =   1815, deg =  6 */   1630,   1806,   2016,   3399,   3633,   4392, 
/* msg =   1816, deg =  6 */    513,   1309,   2381,   2827,   3568,   4004, 
/* msg =   1817, deg =  6 */    751,   1257,   1909,   3019,   4594,   4630, 
/* msg =   1818, deg =  6 */    415,   1276,   2393,   2723,   3547,   4045, 
/* msg =   1819, deg =  6 */   1603,   1901,   1948,   3373,   3649,   4378, 
/* msg =   1820, deg =  6 */    564,   1738,   2398,   3525,   4592,   4873, 
/* msg =   1821, deg =  6 */   1088,   1537,   2232,   2752,   3904,   4820, 
/* msg =   1822, deg =  6 */    339,    916,   2213,   3878,   4256,   4765, 
/* msg =   1823, deg =  6 */    477,    974,   1452,   3176,   4123,   4442, 
/* msg =   1824, deg =  6 */   1123,   1585,   2236,   2825,   3926,   4822, 
/* msg =   1825, deg =  6 */    506,   1234,   2355,   2816,   3643,   4006, 
/* msg =   1826, deg =  6 */    667,    791,   2067,   2964,   3903,   4427, 
/* msg =   1827, deg =  6 */    325,    875,   2216,   3859,   4230,   4797, 
/* msg =   1828, deg =  6 */    417,   1018,   1413,   3201,   4184,   4407, 
/* msg =   1829, deg =  6 */   1629,   1853,   2030,   3398,   3654,   4374, 
/* msg =   1830, deg =  6 */    262,   1461,   2207,   2711,   2940,   3686, 
/* msg =   1831, deg =  6 */    610,    740,   2056,   2913,   3858,   4395, 
/* msg =   1832, deg =  6 */    716,   1165,   1506,   3170,   3283,   4295, 
/* msg =   1833, deg =  6 */   1613,   1833,   2010,   3379,   3632,   4353, 
/* msg =   1834, deg =  6 */    662,    693,   2076,   2867,   3850,   4430, 
/* msg =   1835, deg =  6 */    705,   1237,   2033,   3068,   4603,   4753, 
/* msg =   1836, deg =  6 */     66,    945,   1208,   2681,   3033,   4208, 
/* msg =   1837, deg =  6 */   1064,   1292,   2013,   3198,   4081,   4714, 
/* msg =   1838, deg =  6 */    383,    878,   2316,   2977,   3677,   4239, 
/* msg =   1839, deg =  6 */   1020,   1253,   1984,   3158,   4096,   4742, 
/* msg =   1840, deg =  6 */    999,   1306,   1935,   3209,   4172,   4758, 
/* msg =   1841, deg =  6 */   1217,   1583,   2268,   2735,   3851,   4854, 
/* msg =   1842, deg =  6 */    329,    920,   2337,   2897,   3701,   4224, 
/* msg =   1843, deg =  6 */    336,   1081,   1638,   2768,   3123,   4508, 
/* msg =   1844, deg =  6 */    374,    867,   2445,   2968,   3802,   4225, 
/* msg =   1845, deg =  6 */   1599,   1895,   1943,   3364,   3646,   4372, 
/* msg =   1846, deg =  6 */    722,   1211,   1631,   3190,   3272,   4341, 
/* msg =   1847, deg =  6 */   1173,   1626,   2299,   2789,   3843,   4886, 
/* msg =   1848, deg =  6 */    651,   1666,   1902,   2452,   2674,   4049, 
/* msg =   1849, deg =  6 */    769,   1221,   1562,   3230,   3339,   4351, 
/* msg =   1850, deg =  6 */   1496,   1830,   1937,   3268,   3600,   4394, 
/* msg =   1851, deg =  6 */    241,   1489,   2246,   2688,   2871,   3754, 
/* msg =   1852, deg =  6 */    463,   1352,   2315,   2772,   3555,   4017, 
/* msg =   1853, deg =  6 */    258,   1398,   2223,   2705,   2924,   3751, 
/* msg =   1854, deg =  6 */    301,    926,   2328,   2945,   3688,   4298, 
/* msg =   1855, deg =  6 */    224,   1840,   2089,   2483,   3472,   3956, 
/* msg =   1856, deg =  6 */     50,    880,   1220,   2632,   3081,   4144, 
/* msg =   1857, deg =  6 */     78,    538,   1385,   2458,   3676,   4656, 
/* msg =   1858, deg =  6 */   1566,   1810,   2036,   3331,   3595,   4366, 
/* msg =   1859, deg =  6 */    739,   1122,   1513,   3154,   3390,   4252, 
/* msg =   1860, deg =  6 */    743,   1198,   1497,   3248,   3331,   4324, 
/* msg =   1861, deg =  6 */   1053,   1271,   1970,   3175,   4136,   4624, 
/* msg =   1862, deg =  6 */    375,    820,   2342,   2990,   3703,   4272, 
/* msg =   1863, deg =  6 */    787,   1105,   1550,   3163,   3378,   4237, 
/* msg =   1864, deg =  6 */     46,    486,   1423,   2511,   3674,   4744, 
/* msg =   1865, deg =  6 */   1086,   1260,   2017,   3166,   4125,   4706, 
/* msg =   1866, deg =  6 */    661,   1743,   1793,   2478,   2667,   4059, 
/* msg =   1867, deg =  6 */    451,   1229,   2378,   2762,   3592,   4041, 
/* msg =   1868, deg =  6 */    341,    817,   2304,   3875,   4335,   4816, 
/* msg =   1869, deg =  6 */    278,    971,   1752,   2787,   3010,   4544, 
/* msg =   1870, deg =  6 */   1094,   1559,   2207,   2792,   3894,   4791, 
/* msg =   1871, deg =  6 */    184,   1803,   2055,   2495,   3433,   4052, 
/* msg =   1872, deg =  6 */    328,    832,   2440,   2883,   3800,   4315, 
/* msg =   1873, deg =  6 */    529,   1034,   1432,   3151,   4115,   4424, 
/* msg =   1874, deg =  6 */    555,   1733,   2391,   3514,   4586,   4866, 
/* msg =   1875, deg =  6 */    200,   1816,   2069,   2497,   3448,   4069, 
/* msg =   1876, deg =  6 */    351,    898,   2246,   3887,   4255,   4820, 
/* msg =   1877, deg =  6 */    662,   1734,   1841,   2494,   2639,   4060, 
/* msg =   1878, deg =  6 */    686,   1290,   2038,   3072,   4545,   4756, 
/* msg =   1879, deg =  6 */    609,    729,   2148,   2908,   3843,   4369, 
/* msg =   1880, deg =  6 */    568,   1764,   1854,   2515,   2622,   3968, 
/* msg =   1881, deg =  6 */     52,    511,   1430,   2568,   3765,   4686, 
/* msg =   1882, deg =  6 */    528,    985,   1460,   3130,   4092,   4450, 
/* msg =   1883, deg =  6 */    407,    959,   1759,   2749,   2995,   4578, 
/* msg =   1884, deg =  6 */   1161,   1526,   2212,   2811,   3934,   4793, 
/* msg =   1885, deg =  6 */      6,    849,   1142,   2685,   3065,   4112, 
/* msg =   1886, deg =  6 */    257,   1370,   2259,   2704,   2880,   3770, 
/* msg =   1887, deg =  6 */    131,    408,   1437,   2562,   3792,   4682, 
/* msg =   1888, deg =  6 */   1116,   1607,   2181,   2809,   3895,   4766, 
/* msg =   1889, deg =  6 */     96,    839,   1181,   2623,   3124,   4100, 
/* msg =   1890, deg =  6 */    476,   1267,   2342,   2785,   3664,   3964, 
/* msg =   1891, deg =  6 */    581,   1640,   2383,   3422,   4496,   4846, 
/* msg =   1892, deg =  6 */    506,    969,   1363,   3156,   4138,   4354, 
/* msg =   1893, deg =  6 */    406,    879,   2242,   3939,   4296,   4764, 
/* msg =   1894, deg =  6 */    504,   1003,   1486,   3208,   4158,   4475, 
/* msg =   1895, deg =  6 */    599,    718,   2128,   2891,   3826,   4356, 
/* msg =   1896, deg =  6 */   1503,   1850,   2015,   3267,   3615,   4453, 
/* msg =   1897, deg =  6 */    103,    500,   1457,   2534,   3729,   4690, 
/* msg =   1898, deg =  6 */    122,    221,   2142,   3391,   3427,   3635, 
/* msg =   1899, deg =  6 */   1596,   1768,   1984,   3367,   3604,   4360, 
/* msg =   1900, deg =  6 */    676,   1675,   2377,   3430,   4534,   4798, 
/* msg =   1901, deg =  6 */    201,   1451,   2202,   2648,   2962,   3712, 
/* msg =   1902, deg =  6 */    132,    165,   2081,   3335,   3511,   3580, 
/* msg =   1903, deg =  6 */     44,    467,   1407,   2509,   3795,   4729, 
/* msg =   1904, deg =  6 */   1032,   1330,   1926,   3237,   4087,   4654, 
/* msg =   1905, deg =  6 */    737,   1184,   1528,   3199,   3306,   4312, 
/* msg =   1906, deg =  6 */   1147,   1509,   2197,   2795,   3917,   4778, 
/* msg =   1907, deg =  6 */   1192,   1579,   2193,   2837,   3939,   4777, 
/* msg =   1908, deg =  6 */    340,   1012,   1707,   2759,   3055,   4595, 
/* msg =   1909, deg =  6 */    565,   1632,   1885,   2482,   2679,   3963, 
/* msg =   1910, deg =  6 */   1046,   1225,   2004,   3128,   4144,   4741, 
/* msg =   1911, deg =  6 */      5,    258,   2149,   3347,   3443,   3647, 
/* msg =   1912, deg =  6 */    300,   1087,   1693,   2756,   3127,   4540, 
/* msg =   1913, deg =  6 */    306,    874,   2329,   2880,   3689,   4231, 
/* msg =   1914, deg =  6 */   1034,   1227,   2020,   3130,   4201,   4666, 
/* msg =   1915, deg =  6 */   1003,   1319,   1941,   3219,   4176,   4628, 
/* msg =   1916, deg =  6 */    615,    684,   2134,   2861,   3881,   4367, 
/* msg =   1917, deg =  6 */     31,    902,   1201,   2660,   3021,   4163, 
/* msg =   1918, deg =  6 */    607,   1747,   2389,   3450,   4606,   4845, 
/* msg =   1919, deg =  6 */    538,   1044,   1445,   3152,   4121,   4438, 
/* msg =   1920, deg =  6 */    137,   1386,   2274,   2584,   2898,   3786, 
/* msg =   1921, deg =  6 */    767,   1295,   1955,   3125,   4521,   4674, 
/* msg =   1922, deg =  6 */    465,   1308,   2410,   2781,   3665,   4050, 
/* msg =   1923, deg =  6 */    201,   1802,   2165,   2504,   3432,   3990, 
/* msg =   1924, deg =  6 */     30,    433,   1378,   2495,   3732,   4673, 
/* msg =   1925, deg =  6 */    567,   1704,   2351,   3411,   4564,   4807, 
/* msg =   1926, deg =  6 */   1522,   1892,   1946,   3292,   3597,   4466, 
/* msg =   1927, deg =  6 */    805,   1316,   1960,   3076,   4513,   4680, 
/* msg =   1928, deg =  6 */    250,   1385,   2209,   2697,   2914,   3738, 
/* msg =   1929, deg =  6 */    583,   1651,   1897,   2484,   2695,   3980, 
/* msg =   1930, deg =  6 */     68,    944,   1089,   2614,   3075,   4213, 
/* msg =   1931, deg =  6 */    598,    697,   2168,   2873,   3930,   4443, 
/* msg =   1932, deg =  6 */    450,   1086,   1425,   3154,   4099,   4417, 
/* msg =   1933, deg =  6 */    659,   1636,   2392,   3531,   4493,   4825, 
/* msg =   1934, deg =  6 */    597,   1741,   2382,   3446,   4598,   4838, 
/* msg =   1935, deg =  6 */    661,    815,   2115,   2991,   3819,   4382, 
/* msg =   1936, deg =  6 */    171,   1492,   2191,   2618,   2918,   3747, 
/* msg =   1937, deg =  6 */   1559,   1877,   1975,   3327,   3612,   4391, 
/* msg =   1938, deg =  6 */    302,    903,   2348,   2956,   3710,   4320, 
/* msg =   1939, deg =  6 */    411,   1048,   1448,   3163,   4133,   4444, 
/* msg =   1940, deg =  6 */    731,   1242,   2025,   3000,   4582,   4745, 
/* msg =   1941, deg =  6 */    382,    902,   2439,   2975,   3799,   4344, 
/* msg =   1942, deg =  6 */     99,    862,   1206,   2647,   3009,   4124, 
/* msg =   1943, deg =  6 */    256,   1879,   2124,   2487,   3507,   3991, 
/* msg =   1944, deg =  6 */    695,   1358,   2019,   3050,   4589,   4738, 
/* msg =   1945, deg =  6 */    286,    921,   2394,   2973,   3752,   4266, 
/* msg =   1946, deg =  6 */    600,   1709,   1869,   2542,   2704,   4000, 
/* msg =   1947, deg =  6 */    188,   1811,   2143,   2466,   3445,   3952, 
/* msg =   1948, deg =  6 */    332,    824,   2407,   2932,   3767,   4326, 
/* msg =   1949, deg =  6 */    472,   1241,   2435,   2784,   3598,   4048, 
/* msg =   1950, deg =  6 */     51,    238,   2144,   3315,   3401,   3645, 
/* msg =   1951, deg =  6 */    273,    904,   2346,   2878,   3708,   4271, 
/* msg =   1952, deg =  6 */    443,   1307,   2424,   2758,   3577,   4079, 
/* msg =   1953, deg =  6 */   1150,   1512,   2177,   2748,   3909,   4760, 
/* msg =   1954, deg =  6 */   1155,   1606,   2297,   2818,   3834,   4881, 
/* msg =   1955, deg =  6 */    558,    767,   2072,   2943,   3828,   4444, 
/* msg =   1956, deg =  6 */     68,    177,   2079,   3357,   3406,   3570, 
/* msg =   1957, deg =  6 */    691,   1182,   1597,   3158,   3383,   4310, 
/* msg =   1958, deg =  6 */     40,    936,   1139,   2688,   3003,   4203, 
/* msg =   1959, deg =  6 */    525,   1295,   2351,   2834,   3642,   3965, 
/* msg =   1960, deg =  6 */    498,   1230,   2348,   2808,   3632,   3993, 
/* msg =   1961, deg =  6 */     25,    227,   2103,   3274,   3466,   3599, 
/* msg =   1962, deg =  6 */    546,   1757,   1866,   2497,   2663,   3945, 
/* msg =   1963, deg =  6 */    320,    830,   2433,   2875,   3796,   4309, 
/* msg =   1964, deg =  6 */     39,    935,   1128,   2680,   2993,   4199, 
/* msg =   1965, deg =  6 */    111,    188,   2121,   3397,   3477,   3617, 
/* msg =   1966, deg =  6 */    357,    879,   2408,   2949,   3771,   4327, 
/* msg =   1967, deg =  6 */    717,   1214,   1586,   3237,   3294,   4338, 
/* msg =   1968, deg =  6 */    299,    935,   2369,   2896,   3728,   4295, 
/* msg =   1969, deg =  6 */    539,    989,   1402,   3226,   4165,   4396, 
/* msg =   1970, deg =  6 */    774,   1200,   1627,   3255,   3291,   4328, 
/* msg =   1971, deg =  6 */    295,    933,   2402,   2982,   3765,   4279, 
/* msg =   1972, deg =  6 */     69,    185,   2086,   3367,   3409,   3582, 
/* msg =   1973, deg =  6 */    496,    999,   1473,   3207,   4146,   4468, 
/* msg =   1974, deg =  6 */    679,   1715,   2368,   3501,   4574,   4850, 
/* msg =   1975, deg =  6 */    291,    923,   2361,   2895,   3723,   4281, 
/* msg =   1976, deg =  6 */    126,    893,   1148,   2594,   3024,   4154, 
/* msg =   1977, deg =  6 */    492,   1254,   2345,   2806,   3585,   4051, 
/* msg =   1978, deg =  6 */    117,    838,   1214,   2611,   3068,   4099, 
/* msg =   1979, deg =  6 */    587,   1708,   1895,   2525,   2617,   3989, 
/* msg =   1980, deg =  6 */    282,    897,   2254,   3821,   4272,   4763, 
/* msg =   1981, deg =  6 */     86,    446,   1415,   2517,   3783,   4749, 
/* msg =   1982, deg =  6 */     52,    246,   2152,   3326,   3412,   3648, 
/* msg =   1983, deg =  6 */    402,   1053,   1656,   2721,   3091,   4505, 
/* msg =   1984, deg =  6 */    406,    862,   2414,   2969,   3775,   4300, 
/* msg =   1985, deg =  6 */    369,    981,   1667,   2802,   3018,   4543, 
/* msg =   1986, deg =  6 */    244,   1866,   2061,   2473,   3498,   4008, 
/* msg =   1987, deg =  6 */    702,   1250,   1937,   3122,   4530,   4657, 
/* msg =   1988, deg =  6 */    358,    838,   2189,   3891,   4347,   4839, 
/* msg =   1989, deg =  6 */    211,   1394,   2227,   2658,   2955,   3789, 
/* msg =   1990, deg =  6 */    500,   1071,   1373,   3231,   4112,   4362, 
/* msg =   1991, deg =  6 */    242,   1381,   2201,   2689,   2905,   3735, 
/* msg =   1992, deg =  6 */      3,    533,   1410,   2468,   3672,   4688, 
/* msg =   1993, deg =  6 */    303,    834,   2215,   3835,   4283,   4805, 
/* msg =   1994, deg =  6 */    206,   1871,   2051,   2527,   3501,   4037, 
/* msg =   1995, deg =  6 */   1005,   1299,   2029,   3206,   4186,   4755, 
/* msg =   1996, deg =  6 */    632,   1648,   1882,   2450,   2658,   4032, 
/* msg =   1997, deg =  6 */    231,   1374,   2220,   2675,   2857,   3704, 
/* msg =   1998, deg =  6 */    294,    892,   2340,   2948,   3698,   4314, 
/* msg =   1999, deg =  6 */    464,   1059,   1395,   3204,   4163,   4385, 
/* msg =   2000, deg =  6 */    559,   1740,   2335,   3478,   4597,   4852, 
/* msg =   2001, deg =  6 */   1211,   1567,   2274,   2775,   3849,   4857, 
/* msg =   2002, deg =  6 */   1082,   1273,   1930,   3181,   4113,   4716, 
/* msg =   2003, deg =  6 */    372,    948,   2241,   3910,   4294,   4795, 
/* msg =   2004, deg =  6 */     99,    200,   2175,   3356,   3519,   3667, 
/* msg =   2005, deg =  6 */    495,    988,   1469,   3196,   4141,   4463, 
/* msg =   2006, deg =  6 */    331,    848,   2385,   2922,   3745,   4302, 
/* msg =   2007, deg =  6 */    645,   1672,   2393,   3508,   4528,   4833, 
/* msg =   2008, deg =  6 */    165,   1861,   2092,   2457,   3490,   4021, 
/* msg =   2009, deg =  6 */   1601,   1836,   2024,   3371,   3542,   4408, 
/* msg =   2010, deg =  6 */     26,    235,   2110,   3284,   3478,   3603, 
/* msg =   2011, deg =  6 */    972,   1295,   1933,   3199,   4209,   4669, 
/* msg =   2012, deg =  6 */    261,   1818,   2050,   2452,   3453,   3981, 
/* msg =   2013, deg =  6 */    559,   1663,   1820,   2536,   2656,   3955, 
/* msg =   2014, deg =  6 */    478,    998,   1372,   3187,   4201,   4361, 
/* msg =   2015, deg =  6 */   1134,   1518,   2264,   2770,   3874,   4853, 
/* msg =   2016, deg =  6 */    556,    724,   2110,   2902,   3883,   4463, 
/* msg =   2017, deg =  6 */     23,    211,   2083,   3396,   3454,   3577, 
/* msg =   2018, deg =  6 */    526,   1242,   2405,   2838,   3638,   4001, 
/* msg =   2019, deg =  6 */   1179,   1506,   2293,   2749,   3845,   4875, 
/* msg =   2020, deg =  6 */    247,   1895,   2052,   2539,   3524,   3997, 
/* msg =   2021, deg =  6 */   1014,   1228,   1931,   3133,   4102,   4725, 
/* msg =   2022, deg =  6 */    757,   1312,   2009,   3021,   4612,   4732, 
/* msg =   2023, deg =  6 */    144,   1452,   2232,   2596,   2953,   3740, 
/* msg =   2024, deg =  6 */    656,   1671,   2442,   3509,   4524,   4762, 
/* msg =   2025, deg =  6 */    591,    731,   2133,   2905,   3868,   4420, 
/* msg =   2026, deg =  6 */    376,    831,   2350,   2863,   3707,   4285, 
/* msg =   2027, deg =  6 */   1056,   1357,   1951,   3258,   4111,   4676, 
/* msg =   2028, deg =  6 */   1126,   1613,   2188,   2817,   3898,   4774, 
/* msg =   2029, deg =  6 */    234,   1369,   2194,   2681,   2897,   3722, 
/* msg =   2030, deg =  6 */    587,    799,   2106,   2970,   3861,   4477, 
/* msg =   2031, deg =  6 */    585,   1656,   1774,   2485,   2703,   3985, 
/* msg =   2032, deg =  6 */    628,   1763,   2331,   3517,   4622,   4882, 
/* msg =   2033, deg =  6 */     53,    513,   1433,   2569,   3768,   4693, 
/* msg =   2034, deg =  6 */    800,   1230,   1926,   3069,   4524,   4646, 
/* msg =   2035, deg =  6 */    430,   1069,   1465,   3182,   4144,   4457, 
/* msg =   2036, deg =  6 */    375,   1016,   1763,   2831,   3060,   4615, 
/* msg =   2037, deg =  6 */    601,   1701,   1781,   2558,   2676,   4001, 
/* msg =   2038, deg =  6 */    670,    681,   2123,   2856,   3831,   4388, 
/* msg =   2039, deg =  6 */    721,   1296,   2010,   3079,   4490,   4733, 
/* msg =   2040, deg =  6 */    119,    837,   1093,   2674,   3111,   4103, 
/* msg =   2041, deg =  6 */   1531,   1860,   1970,   3302,   3637,   4427, 
/* msg =   2042, deg =  6 */   1526,   1855,   1963,   3291,   3626,   4422, 
/* msg =   2043, deg =  6 */    765,   1216,   1527,   3142,   3355,   4349, 
/* msg =   2044, deg =  6 */     48,    867,   1205,   2616,   3070,   4133, 
/* msg =   2045, deg =  6 */    284,    907,   2313,   2935,   3672,   4286, 
/* msg =   2046, deg =  6 */    549,   1735,   2320,   3466,   4591,   4844, 
/* msg =   2047, deg =  6 */    433,   1350,   2362,   2745,   3578,   4031, 
/* msg =   2048, deg =  6 */    265,   1864,   2090,   2512,   3496,   4051, 
/* msg =   2049, deg =  6 */    377,    942,   2265,   3913,   4244,   4834, 
/* msg =   2050, deg =  6 */    538,   1247,   2349,   2850,   3607,   3989, 
/* msg =   2051, deg =  6 */   1220,   1586,   2249,   2823,   3844,   4836, 
/* msg =   2052, deg =  6 */    145,   1399,   2281,   2592,   2906,   3798, 
/* msg =   2053, deg =  6 */     75,    512,   1364,   2455,   3785,   4634, 
/* msg =   2054, deg =  6 */    306,    997,   1658,   2791,   3034,   4619, 
/* msg =   2055, deg =  6 */    307,    825,   2362,   2903,   3724,   4277, 
/* msg =   2056, deg =  6 */    390,   1061,   1754,   2801,   3103,   4507, 
/* msg =   2057, deg =  6 */    100,    208,   2045,   3366,   3522,   3542, 
/* msg =   2058, deg =  6 */    393,    951,   2288,   3929,   4298,   4866, 
/* msg =   2059, deg =  6 */    611,    754,   2153,   2933,   3890,   4445, 
/* msg =   2060, deg =  6 */    293,    853,   2180,   3827,   4293,   4880, 
/* msg =   2061, deg =  6 */    397,    868,   2235,   3935,   4290,   4893, 
/* msg =   2062, deg =  6 */   1178,   1561,   2179,   2820,   3922,   4762, 
/* msg =   2063, deg =  6 */    650,   1767,   2385,   3521,   4623,   4817, 
/* msg =   2064, deg =  6 */    692,   1304,   1921,   3056,   4581,   4643, 
/* msg =   2065, deg =  6 */    119,    197,   2114,   3361,   3402,   3608, 
/* msg =   2066, deg =  6 */     42,    255,   2090,   3353,   3470,   3589, 
/* msg =   2067, deg =  6 */    554,    700,   2098,   2879,   3836,   4387, 
/* msg =   2068, deg =  6 */   1206,   1515,   2211,   2734,   3883,   4797, 
/* msg =   2069, deg =  6 */    302,    831,   2222,   3834,   4327,   4822, 
/* msg =   2070, deg =  6 */    551,    813,   2132,   2986,   3928,   4466, 
/* msg =   2071, deg =  6 */    603,    751,   2145,   2924,   3885,   4439, 
/* msg =   2072, deg =  6 */    389,   1074,   1741,   2732,   3112,   4564, 
/* msg =   2073, deg =  6 */    806,   1286,   2039,   3036,   4553,   4759, 
/* msg =   2074, deg =  6 */   1090,   1521,   2265,   2848,   3923,   4848, 
/* msg =   2075, deg =  6 */    403,    830,   2295,   3942,   4269,   4857, 
/* msg =   2076, deg =  6 */     71,    201,   2098,   3380,   3431,   3596, 
/* msg =   2077, deg =  6 */   1010,   1242,   1978,   3149,   4090,   4735, 
/* msg =   2078, deg =  6 */    722,   1238,   2018,   2998,   4568,   4737, 
/* msg =   2079, deg =  6 */   1548,   1900,   1924,   3313,   3660,   4361, 
/* msg =   2080, deg =  6 */    128,    269,   2053,   3302,   3476,   3550, 
/* msg =   2081, deg =  6 */    622,    774,   2075,   2947,   3917,   4479, 
/* msg =   2082, deg =  6 */    211,   1850,   2067,   2564,   3485,   4063, 
/* msg =   2083, deg =  6 */     14,    194,   2082,   3280,   3517,   3581, 
/* msg =   2084, deg =  6 */    313,   1010,   1659,   2829,   3050,   4585, 
/* msg =   2085, deg =  6 */    599,   1688,   1768,   2557,   2668,   3996, 
/* msg =   2086, deg =  6 */    389,    817,   2413,   2962,   3774,   4304, 
/* msg =   2087, deg =  6 */   1148,   1535,   2287,   2787,   3890,   4869, 
/* msg =   2088, deg =  6 */    640,   1645,   2346,   3530,   4498,   4760, 
/* msg =   2089, deg =  6 */   1097,   1562,   2215,   2800,   3897,   4799, 
/* msg =   2090, deg =  6 */    552,   1654,   1868,   2552,   2628,   3956, 
/* msg =   2091, deg =  6 */    739,   1349,   1952,   2994,   4600,   4677, 
/* msg =   2092, deg =  6 */    394,    883,   2427,   2907,   3789,   4262, 
/* msg =   2093, deg =  6 */     59,    431,   1483,   2575,   3687,   4743, 
/* msg =   2094, deg =  6 */   1516,   1878,   1912,   3286,   3536,   4399, 
/* msg =   2095, deg =  6 */    646,    716,   2160,   2889,   3914,   4399, 
/* msg =   2096, deg =  6 */    616,   1676,   1896,   2504,   2670,   4021, 
/* msg =   2097, deg =  6 */    419,   1272,   2436,   2729,   3667,   4035, 
/* msg =   2098, deg =  6 */    619,   1719,   1794,   2560,   2692,   4018, 
/* msg =   2099, deg =  6 */    268,   1891,   2082,   2476,   3522,   4039, 
/* msg =   2100, deg =  6 */    289,    976,   1647,   2774,   3016,   4606, 
/* msg =   2101, deg =  6 */    572,    699,   2152,   2878,   3821,   4357, 
/* msg =   2102, deg =  6 */    810,   1125,   1602,   3128,   3376,   4250, 
/* msg =   2103, deg =  6 */    633,   1674,   2330,   3462,   4533,   4812, 
/* msg =   2104, deg =  6 */    995,   1320,   1982,   3224,   4160,   4631, 
/* msg =   2105, deg =  6 */    288,    902,   2270,   3824,   4321,   4786, 
/* msg =   2106, deg =  6 */     89,    919,   1125,   2703,   3067,   4183, 
/* msg =   2107, deg =  6 */     43,    458,   1396,   2508,   3791,   4722, 
/* msg =   2108, deg =  6 */   1106,   1605,   2290,   2753,   3873,   4877, 
/* msg =   2109, deg =  6 */    713,   1333,   1946,   3085,   4601,   4664, 
/* msg =   2110, deg =  6 */    537,   1302,   2398,   2849,   3637,   3960, 
/* msg =   2111, deg =  6 */     11,    170,   2061,   3392,   3492,   3554, 
/* msg =   2112, deg =  6 */    133,    427,   1453,   2564,   3679,   4696, 
/* msg =   2113, deg =  6 */    409,    976,   1421,   3140,   4167,   4415, 
/* msg =   2114, deg =  6 */    675,   1723,   2312,   3456,   4577,   4837, 
/* msg =   2115, deg =  6 */   1545,   1780,   1974,   3315,   3616,   4357, 
/* msg =   2116, deg =  6 */    116,    471,   1425,   2547,   3697,   4662, 
/* msg =   2117, deg =  6 */   1089,   1577,   2288,   2784,   3865,   4872, 
/* msg =   2118, deg =  6 */   1588,   1779,   2028,   3359,   3555,   4487, 
/* msg =   2119, deg =  6 */    308,    927,   2275,   3842,   4297,   4785, 
/* msg =   2120, deg =  6 */     15,    202,   2088,   3290,   3520,   3584, 
/* msg =   2121, deg =  6 */      8,    869,   1157,   2701,   3084,   4130, 
/* msg =   2122, deg =  6 */    514,   1255,   2331,   2828,   3538,   4024, 
/* msg =   2123, deg =  6 */    110,    180,   2113,   3387,   3465,   3612, 
/* msg =   2124, deg =  6 */    157,   1848,   2086,   2456,   3480,   4015, 
/* msg =   2125, deg =  6 */    707,   1093,   1621,   3259,   3358,   4222, 
/* msg =   2126, deg =  6 */   1027,   1338,   1967,   3241,   4207,   4649, 
/* msg =   2127, deg =  6 */    579,   1678,   1893,   2555,   2652,   3978, 
/* msg =   2128, deg =  6 */     17,    468,   1411,   2482,   3763,   4708, 
/* msg =   2129, deg =  6 */    360,    850,   2396,   2873,   3757,   4230, 
/* msg =   2130, deg =  6 */   1143,   1592,   2269,   2756,   3809,   4855, 
/* msg =   2131, deg =  6 */    647,    748,   2080,   2926,   3844,   4352, 
/* msg =   2132, deg =  6 */    784,   1229,   1939,   3003,   4559,   4662, 
/* msg =   2133, deg =  6 */    556,   1763,   1872,   2498,   2671,   3958, 
/* msg =   2134, deg =  6 */    790,   1147,   1524,   3174,   3364,   4277, 
/* msg =   2135, deg =  6 */    102,    252,   2052,   3321,   3403,   3546, 
/* msg =   2136, deg =  6 */    296,    996,   1640,   2812,   3038,   4573, 
/* msg =   2137, deg =  6 */    369,    836,   2417,   2893,   3777,   4259, 
/* msg =   2138, deg =  6 */   1529,   1826,   2014,   3297,   3580,   4442, 
/* msg =   2139, deg =  6 */   1142,   1574,   2180,   2763,   3837,   4765, 
/* msg =   2140, deg =  6 */    698,   1305,   1913,   3092,   4566,   4633, 
/* msg =   2141, deg =  6 */   1029,   1325,   1919,   3226,   4210,   4647, 
/* msg =   2142, deg =  6 */    717,   1251,   1924,   3054,   4501,   4641, 
/* msg =   2143, deg =  6 */    502,   1007,   1407,   3248,   4086,   4399, 
/* msg =   2144, deg =  6 */     12,    469,   1480,   2477,   3747,   4631, 
/* msg =   2145, deg =  6 */    815,   1289,   1908,   3046,   4567,   4629, 
/* msg =   2146, deg =  6 */    723,   1336,   1953,   3095,   4615,   4672, 
/* msg =   2147, deg =  6 */    370,    904,   2286,   3905,   4222,   4874, 
/* msg =   2148, deg =  6 */   1011,   1331,   1972,   3233,   4115,   4704, 
/* msg =   2149, deg =  6 */    802,   1341,   2015,   3005,   4590,   4735, 
/* msg =   2150, deg =  6 */    695,   1140,   1619,   3148,   3395,   4271, 
/* msg =   2151, deg =  6 */    984,   1317,   1969,   3223,   4154,   4753, 
/* msg =   2152, deg =  6 */    149,   1462,   2264,   2598,   2923,   3734, 
/* msg =   2153, deg =  6 */   1087,   1303,   2002,   3207,   4173,   4661, 
/* msg =   2154, deg =  6 */   1623,   1865,   1958,   3387,   3650,   4418, 
/* msg =   2155, deg =  6 */    207,   1481,   2199,   2651,   2974,   3685, 
/* msg =   2156, deg =  6 */    665,   1677,   2313,   3512,   4531,   4770, 
/* msg =   2157, deg =  6 */    756,   1308,   1995,   3045,   4591,   4713, 
/* msg =   2158, deg =  6 */    373,    891,   2431,   2967,   3787,   4338, 
/* msg =   2159, deg =  6 */    169,   1418,   2311,   2616,   2934,   3681, 
/* msg =   2160, deg =  6 */    632,   1701,   2436,   3475,   4559,   4763, 
/* msg =   2161, deg =  6 */   1553,   1769,   1930,   3324,   3671,   4368, 
/* msg =   2162, deg =  6 */    415,   1008,   1400,   3198,   4179,   4392, 
/* msg =   2163, deg =  6 */    382,    893,   2183,   3915,   4351,   4792, 
/* msg =   2164, deg =  6 */   1536,   1866,   1983,   3304,   3640,   4433, 
/* msg =   2165, deg =  6 */    441,   1318,   2399,   2753,   3605,   3958, 
/* msg =   2166, deg =  6 */    519,    971,   1444,   3255,   4210,   4437, 
/* msg =   2167, deg =  6 */    112,    196,   2135,   3264,   3480,   3628, 
/* msg =   2168, deg =  6 */     85,    885,   1088,   2671,   3037,   4147, 
/* msg =   2169, deg =  6 */   1076,   1248,   2012,   3155,   4119,   4700, 
/* msg =   2170, deg =  6 */   1052,   1229,   1985,   3134,   4095,   4679, 
/* msg =   2171, deg =  6 */    428,    997,   1438,   3158,   4177,   4427, 
/* msg =   2172, deg =  6 */    331,   1002,   1703,   2750,   3045,   4589, 
/* msg =   2173, deg =  6 */    786,   1270,   2017,   3018,   4540,   4736, 
/* msg =   2174, deg =  6 */    577,   1724,   2366,   3425,   4578,   4823, 
/* msg =   2175, deg =  6 */    154,   1862,   2173,   2580,   3491,   4050, 
/* msg =   2176, deg =  6 */    401,   1065,   1641,   2788,   3108,   4560, 
/* msg =   2177, deg =  6 */    128,    525,   1409,   2559,   3772,   4661, 
/* msg =   2178, deg =  6 */    120,    205,   2122,   3370,   3413,   3621, 
/* msg =   2179, deg =  6 */   1016,   1232,   1937,   3136,   4107,   4732, 
/* msg =   2180, deg =  6 */    594,   1679,   1867,   2470,   2603,   3997, 
/* msg =   2181, deg =  6 */    297,    871,   2322,   2872,   3685,   4218, 
/* msg =   2182, deg =  6 */     13,    186,   2075,   3278,   3506,   3569, 
/* msg =   2183, deg =  6 */     57,    877,   1138,   2609,   3101,   4138, 
/* msg =   2184, deg =  6 */    327,   1068,   1755,   2752,   3105,   4495, 
/* msg =   2185, deg =  6 */    642,   1661,   1888,   2451,   2666,   4045, 
/* msg =   2186, deg =  6 */    575,    743,   2124,   2919,   3899,   4475, 
/* msg =   2187, deg =  6 */    645,   1699,   1784,   2507,   2694,   4043, 
/* msg =   2188, deg =  6 */   1138,   1602,   2250,   2842,   3943,   4837, 
/* msg =   2189, deg =  6 */   1146,   1604,   2277,   2764,   3822,   4863, 
/* msg =   2190, deg =  6 */   1044,   1239,   2027,   3141,   4215,   4674, 
/* msg =   2191, deg =  6 */    356,   1046,   1704,   2833,   3083,   4531, 
/* msg =   2192, deg =  6 */    516,    981,   1368,   3167,   4151,   4360, 
/* msg =   2193, deg =  6 */    489,   1355,   2340,   2800,   3629,   3988, 
/* msg =   2194, deg =  6 */    785,   1141,   1558,   3254,   3338,   4267, 
/* msg =   2195, deg =  6 */    127,    517,   1404,   2558,   3761,   4653, 
/* msg =   2196, deg =  6 */     94,    160,   2134,   3319,   3473,   3627, 
/* msg =   2197, deg =  6 */    686,   1203,   1592,   3238,   3334,   4333, 
/* msg =   2198, deg =  6 */    547,   1740,   1829,   2512,   2598,   3946, 
/* msg =   2199, deg =  6 */     86,    232,   2065,   3388,   3410,   3561, 
/* msg =   2200, deg =  6 */    630,   1688,   2428,   3471,   4544,   4892, 
/* msg =   2201, deg =  6 */   1196,   1551,   2259,   2759,   3833,   4841, 
/* msg =   2202, deg =  6 */    712,   1226,   2013,   3124,   4560,   4730, 
/* msg =   2203, deg =  6 */   1004,   1353,   1925,   3259,   4088,   4717, 
/* msg =   2204, deg =  6 */    745,   1201,   1510,   3257,   3341,   4329, 
/* msg =   2205, deg =  6 */    150,   1482,   2229,   2599,   2967,   3705, 
/* msg =   2206, deg =  6 */    550,    803,   2081,   2981,   3912,   4447, 
/* msg =   2207, deg =  6 */    212,   1835,   2163,   2469,   3469,   3982, 
/* msg =   2208, deg =  6 */    335,    929,   2379,   2984,   3741,   4222, 
/* msg =   2209, deg =  6 */   1550,   1799,   2022,   3318,   3581,   4483, 
/* msg =   2210, deg =  6 */    344,    966,   1633,   2815,   3004,   4611, 
/* msg =   2211, deg =  6 */     97,    184,   2154,   3342,   3498,   3652, 
/* msg =   2212, deg =  6 */    307,    977,   1672,   2724,   3017,   4561, 
/* msg =   2213, deg =  6 */   1544,   1862,   1940,   3312,   3559,   4452, 
/* msg =   2214, deg =  6 */   1499,   1813,   2031,   3266,   3644,   4407, 
/* msg =   2215, deg =  6 */    551,   1704,   1883,   2576,   2605,   3947, 
/* msg =   2216, deg =  6 */    264,   1884,   2130,   2488,   3518,   3996, 
/* msg =   2217, deg =  6 */    596,   1652,   1879,   2501,   2646,   3999, 
/* msg =   2218, deg =  6 */    675,    779,   2113,   2953,   3877,   4385, 
/* msg =   2219, deg =  6 */    275,    832,   2303,   3810,   4274,   4865, 
/* msg =   2220, deg =  6 */    256,   1425,   2211,   2708,   2935,   3713, 
/* msg =   2221, deg =  6 */    298,    822,   2354,   2894,   3713,   4264, 
/* msg =   2222, deg =  6 */    764,   1197,   1622,   3245,   3281,   4323, 
/* msg =   2223, deg =  6 */    689,   1215,   1604,   3240,   3336,   4339, 
/* msg =   2224, deg =  6 */    444,   1346,   2404,   2759,   3562,   4022, 
/* msg =   2225, deg =  6 */   1110,   1555,   2254,   2768,   3920,   4835, 
/* msg =   2226, deg =  6 */    180,   1804,   2129,   2465,   3434,   3947, 
/* msg =   2227, deg =  6 */   1223,   1517,   2258,   2847,   3919,   4840, 
/* msg =   2228, deg =  6 */    177,   1777,   2137,   2501,   3408,   3960, 
/* msg =   2229, deg =  6 */    305,    898,   2315,   2879,   3674,   4336, 
/* msg =   2230, deg =  6 */    428,   1285,   2443,   2738,   3542,   4040, 
/* msg =   2231, deg =  6 */    611,   1678,   2413,   3451,   4532,   4877, 
/* msg =   2232, deg =  6 */    802,   1161,   1542,   3185,   3377,   4288, 
/* msg =   2233, deg =  6 */    678,   1742,   2336,   3513,   4599,   4800, 
/* msg =   2234, deg =  6 */     17,    924,   1091,   2684,   3041,   4186, 
/* msg =   2235, deg =  6 */    373,    883,   2305,   3911,   4337,   4784, 
/* msg =   2236, deg =  6 */    308,    974,   1683,   2830,   3011,   4602, 
/* msg =   2237, deg =  6 */    750,   1322,   2037,   3100,   4518,   4755, 
/* msg =   2238, deg =  6 */    966,   1263,   1990,   3164,   4145,   4718, 
/* msg =   2239, deg =  6 */    412,    992,   1415,   3237,   4171,   4403, 
/* msg =   2240, deg =  6 */     58,    422,   1478,   2574,   3675,   4728, 
/* msg =   2241, deg =  6 */    363,    835,   2206,   3901,   4260,   4863, 
/* msg =   2242, deg =  6 */    441,   1076,   1419,   3145,   4093,   4410, 
/* msg =   2243, deg =  6 */   1074,   1256,   2037,   3160,   4180,   4633, 
/* msg =   2244, deg =  6 */    112,    436,   1392,   2543,   3803,   4625, 
/* msg =   2245, deg =  6 */   1219,   1546,   2192,   2791,   3881,   4776, 
/* msg =   2246, deg =  6 */    682,   1143,   1576,   3194,   3275,   4269, 
/* msg =   2247, deg =  6 */    314,    892,   2191,   3848,   4238,   4879, 
/* msg =   2248, deg =  6 */   1007,   1333,   1988,   3235,   4174,   4638, 
/* msg =   2249, deg =  6 */    532,   1306,   2325,   2846,   3537,   3984, 
/* msg =   2250, deg =  6 */    616,    683,   2090,   2858,   3879,   4481, 
/* msg =   2251, deg =  6 */    478,   1248,   2400,   2787,   3619,   4070, 
/* msg =   2252, deg =  6 */    442,    963,   1474,   3155,   4174,   4464, 
/* msg =   2253, deg =  6 */    142,   1477,   2221,   2591,   2957,   3701, 
/* msg =   2254, deg =  6 */    203,   1389,   2219,   2650,   2947,   3778, 
/* msg =   2255, deg =  6 */    491,   1347,   2375,   2805,   3601,   3973, 
/* msg =   2256, deg =  6 */     70,    193,   2092,   3368,   3419,   3585, 
/* msg =   2257, deg =  6 */   1593,   1785,   2035,   3361,   3560,   4356, 
/* msg =   2258, deg =  6 */    297,    986,   1653,   2782,   3024,   4612, 
/* msg =   2259, deg =  6 */    412,   1341,   2411,   2725,   3606,   4038, 
/* msg =   2260, deg =  6 */     76,    241,   2139,   3287,   3468,   3637, 
/* msg =   2261, deg =  6 */    390,    905,   2446,   2976,   3803,   4221, 
/* msg =   2262, deg =  6 */    354,    890,   2271,   3889,   4339,   4859, 
/* msg =   2263, deg =  6 */    588,    688,   2161,   2864,   3925,   4437, 
/* msg =   2264, deg =  6 */    563,    709,   2105,   2887,   3841,   4392, 
/* msg =   2265, deg =  6 */    396,    970,   1721,   2836,   3009,   4586, 
/* msg =   2266, deg =  6 */    277,    946,   2185,   3814,   4259,   4783, 
/* msg =   2267, deg =  6 */      6,    417,   1438,   2471,   3699,   4716, 
/* msg =   2268, deg =  6 */    166,   1362,   2243,   2615,   2976,   3720, 
/* msg =   2269, deg =  6 */    290,    939,   2226,   3829,   4257,   4845, 
/* msg =   2270, deg =  6 */    387,    960,   1715,   2828,   3000,   4580, 
/* msg =   2271, deg =  6 */    798,   1355,   1919,   3059,   4517,   4639, 
/* msg =   2272, deg =  6 */   1063,   1274,   1983,   3176,   4149,   4639, 
/* msg =   2273, deg =  6 */    359,   1004,   1745,   2814,   3042,   4593, 
/* msg =   2274, deg =  6 */    226,   1364,   2187,   2673,   2888,   3719, 
/* msg =   2275, deg =  6 */    736,   1109,   1577,   3178,   3342,   4238, 
/* msg =   2276, deg =  6 */    807,   1120,   1566,   3182,   3397,   4248, 
/* msg =   2277, deg =  6 */   1154,   1524,   2184,   2757,   3913,   4768, 
/* msg =   2278, deg =  6 */   1162,   1545,   2302,   2804,   3906,   4884, 
/* msg =   2279, deg =  6 */    228,   1855,   2040,   2471,   3484,   3992, 
/* msg =   2280, deg =  6 */    309,    954,   1698,   2764,   2993,   4546, 
/* msg =   2281, deg =  6 */    796,   1090,   1514,   3141,   3314,   4217, 
/* msg =   2282, deg =  6 */   1614,   1787,   2005,   3380,   3619,   4381, 
/* msg =   2283, deg =  6 */   1575,   1805,   1999,   3338,   3641,   4376, 
/* msg =   2284, deg =  6 */    240,   1408,   2196,   2692,   2916,   3697, 
/* msg =   2285, deg =  6 */    271,   1783,   2073,   2542,   3412,   4019, 
/* msg =   2286, deg =  6 */    800,   1169,   1511,   3242,   3265,   4300, 
/* msg =   2287, deg =  6 */     13,    906,   1197,   2605,   3122,   4173, 
/* msg =   2288, deg =  6 */    697,   1199,   1569,   3217,   3274,   4327, 
/* msg =   2289, deg =  6 */    543,   1310,   2366,   2852,   3657,   3982, 
/* msg =   2290, deg =  6 */   1167,   1596,   2201,   2788,   3858,   4787, 
/* msg =   2291, deg =  6 */   1556,   1777,   1959,   3322,   3577,   4438, 
/* msg =   2292, deg =  6 */    365,    881,   2416,   2957,   3776,   4332, 
/* msg =   2293, deg =  6 */     54,    262,   2173,   3338,   3426,   3671, 
/* msg =   2294, deg =  6 */   1174,   1531,   2218,   2819,   3938,   4800, 
/* msg =   2295, deg =  6 */    109,    409,   1371,   2540,   3776,   4740, 
/* msg =   2296, deg =  6 */    609,   1705,   1787,   2559,   2684,   4012, 
/* msg =   2297, deg =  6 */    304,    844,   2221,   3840,   4289,   4813, 
/* msg =   2298, deg =  6 */    592,    721,   2043,   2896,   3842,   4376, 
/* msg =   2299, deg =  6 */    648,   1756,   1782,   2548,   2616,   4051, 
/* msg =   2300, deg =  6 */    243,   1427,   2262,   2690,   2991,   3684, 
/* msg =   2301, deg =  6 */    283,    866,   2388,   2900,   3751,   4322, 
/* msg =   2302, deg =  6 */    973,   1328,   1915,   3232,   4124,   4759, 
/* msg =   2303, deg =  6 */    814,   1327,   1975,   3086,   4520,   4695, 
/* msg =   2304, deg =  6 */    630,   1642,   1877,   2449,   2650,   4027, 
/* msg =   2305, deg =  6 */    164,   1785,   2115,   2480,   3420,   4065, 
/* msg =   2306, deg =  6 */    518,   1084,   1389,   3244,   4130,   4383, 
/* msg =   2307, deg =  6 */      1,    226,   2115,   3313,   3408,   3609, 
/* msg =   2308, deg =  6 */   1497,   1884,   1971,   3264,   3665,   4437, 
/* msg =   2309, deg =  6 */    524,   1249,   2371,   2833,   3658,   4023, 
/* msg =   2310, deg =  6 */    317,    864,   2210,   3854,   4217,   4789, 
/* msg =   2311, deg =  6 */    127,    261,   2047,   3291,   3464,   3539, 
/* msg =   2312, deg =  6 */    540,   1038,   1383,   3240,   4187,   4372, 
/* msg =   2313, deg =  6 */    554,   1752,   2359,   3534,   4613,   4816, 
/* msg =   2314, deg =  6 */    499,    990,   1414,   3157,   4213,   4402, 
/* msg =   2315, deg =  6 */    279,    840,   2436,   2988,   3794,   4329, 
/* msg =   2316, deg =  6 */     96,    527,   1489,   2527,   3723,   4691, 
/* msg =   2317, deg =  6 */   1198,   1513,   2191,   2814,   3870,   4772, 
/* msg =   2318, deg =  6 */    565,   1691,   2327,   3490,   4549,   4834, 
/* msg =   2319, deg =  6 */    490,    980,   1401,   3148,   4207,   4395, 
/* msg =   2320, deg =  6 */     27,    243,   2116,   3294,   3481,   3613, 
/* msg =   2321, deg =  6 */    439,   1224,   2434,   2751,   3624,   4061, 
/* msg =   2322, deg =  6 */    556,   1685,   2319,   3480,   4543,   4827, 
/* msg =   2323, deg =  6 */   1120,   1582,   2248,   2739,   3929,   4832, 
/* msg =   2324, deg =  6 */   1561,   1793,   1985,   3328,   3638,   4370, 
/* msg =   2325, deg =  6 */    303,    942,   2410,   2991,   3768,   4284, 
/* msg =   2326, deg =  6 */    283,   1066,   1675,   2739,   3109,   4527, 
/* msg =   2327, deg =  6 */    346,   1058,   1674,   2786,   3097,   4539, 
/* msg =   2328, deg =  6 */   1036,   1358,   1997,   3262,   4139,   4734, 
/* msg =   2329, deg =  6 */    322,    903,   2198,   3861,   4245,   4887, 
/* msg =   2330, deg =  6 */   1012,   1234,   1954,   3138,   4165,   4658, 
/* msg =   2331, deg =  6 */    464,   1227,   2323,   2780,   3560,   4029, 
/* msg =   2332, deg =  6 */    778,   1088,   1568,   3233,   3350,   4220, 
/* msg =   2333, deg =  6 */    383,    861,   2211,   3919,   4235,   4862, 
/* msg =   2334, deg =  6 */   1099,   1550,   2247,   2760,   3916,   4828, 
/* msg =   2335, deg =  6 */    209,   1809,   2172,   2505,   3443,   3995, 
/* msg =   2336, deg =  6 */    398,    828,   2421,   2970,   3779,   4318, 
/* msg =   2337, deg =  6 */    208,   1383,   2297,   2660,   2881,   3803, 
/* msg =   2338, deg =  6 */    768,   1328,   2029,   3039,   4489,   4747, 
/* msg =   2339, deg =  6 */    387,    888,   2364,   2938,   3721,   4234, 
/* msg =   2340, deg =  6 */    745,   1298,   1989,   3035,   4577,   4706, 
/* msg =   2341, deg =  6 */    711,   1262,   1950,   2996,   4536,   4671, 
/* msg =   2342, deg =  6 */    135,    444,   1470,   2566,   3695,   4717, 
/* msg =   2343, deg =  6 */    736,   1297,   1996,   3002,   4598,   4717, 
/* msg =   2344, deg =  6 */    360,    921,   2252,   3896,   4231,   4819, 
/* msg =   2345, deg =  6 */    960,   1289,   1949,   3193,   4131,   4731, 
/* msg =   2346, deg =  6 */    570,   1758,   2350,   3491,   4611,   4868, 
/* msg =   2347, deg =  6 */   1160,   1621,   2291,   2780,   3838,   4878, 
/* msg =   2348, deg =  6 */   1609,   1770,   1955,   3377,   3661,   4384, 
/* msg =   2349, deg =  6 */    767,   1210,   1559,   3221,   3329,   4337, 
/* msg =   2350, deg =  6 */    673,    736,   2151,   2912,   3932,   4403, 
/* msg =   2351, deg =  6 */    367,    945,   2335,   2981,   3692,   4267, 
/* msg =   2352, deg =  6 */    685,   1177,   1552,   3206,   3396,   4307, 
/* msg =   2353, deg =  6 */   1622,   1811,   1925,   3391,   3585,   4383, 
/* msg =   2354, deg =  6 */    653,   1643,   2410,   3441,   4501,   4788, 
/* msg =   2355, deg =  6 */   1504,   1819,   2038,   3277,   3655,   4413, 
/* msg =   2356, deg =  6 */    281,    930,   2218,   3817,   4250,   4838, 
/* msg =   2357, deg =  6 */    380,    848,   2220,   3918,   4279,   4878, 
/* msg =   2358, deg =  6 */    560,    802,   2141,   2980,   3896,   4411, 
/* msg =   2359, deg =  6 */    512,   1356,   2327,   2824,   3581,   3967, 
/* msg =   2360, deg =  6 */    613,    776,   2164,   2956,   3937,   4378, 
/* msg =   2361, deg =  6 */    285,    945,   2200,   3818,   4307,   4806, 
/* msg =   2362, deg =  6 */   1554,   1885,   1995,   3325,   3663,   4454, 
/* msg =   2363, deg =  6 */    419,    986,   1427,   3149,   4173,   4422, 
/* msg =   2364, deg =  6 */   1069,   1258,   1917,   3162,   4103,   4703, 
/* msg =   2365, deg =  6 */   1541,   1857,   1954,   3306,   3598,   4371, 
/* msg =   2366, deg =  6 */    257,   1858,   2084,   2511,   3492,   4047, 
/* msg =   2367, deg =  6 */    627,   1676,   2403,   3415,   4530,   4791, 
/* msg =   2368, deg =  6 */   1518,   1886,   1941,   3282,   3586,   4461, 
/* msg =   2369, deg =  6 */    799,   1326,   1987,   3020,   4555,   4709, 
/* msg =   2370, deg =  6 */     30,    267,   2136,   3317,   3505,   3632, 
/* msg =   2371, deg =  6 */    521,   1314,   2388,   2835,   3580,   4015, 
/* msg =   2372, deg =  6 */    362,    865,   2341,   2918,   3702,   4346, 
/* msg =   2373, deg =  6 */     84,    448,   1434,   2464,   3722,   4705, 
/* msg =   2374, deg =  6 */   1582,   1795,   1956,   3347,   3552,   4393, 
/* msg =   2375, deg =  6 */    129,    141,   2060,   3304,   3487,   3553, 
/* msg =   2376, deg =  6 */    221,   1780,   2145,   2464,   3414,   4077, 
/* msg =   2377, deg =  6 */     27,    868,   1173,   2628,   3126,   4134, 
/* msg =   2378, deg =  6 */   1114,   1620,   2285,   2850,   3877,   4867, 
/* msg =   2379, deg =  6 */    129,    534,   1420,   2560,   3777,   4667, 
/* msg =   2380, deg =  6 */     63,    457,   1380,   2579,   3718,   4635, 
/* msg =   2381, deg =  6 */    334,    888,   2223,   3871,   4329,   4788, 
/* msg =   2382, deg =  6 */   1002,   1230,   1947,   3135,   4159,   4650, 
/* msg =   2383, deg =  6 */   1008,   1262,   2026,   3163,   4080,   4737, 
/* msg =   2384, deg =  6 */     13,    479,   1492,   2478,   3757,   4638, 
/* msg =   2385, deg =  6 */    216,   1387,   2304,   2668,   2890,   3678, 
/* msg =   2386, deg =  6 */    583,   1708,   2341,   3504,   4562,   4849, 
/* msg =   2387, deg =  6 */    209,   1456,   2210,   2656,   2970,   3723, 
/* msg =   2388, deg =  6 */    655,   1638,   1821,   2516,   2681,   4050, 
/* msg =   2389, deg =  6 */    353,    823,   2401,   2876,   3761,   4240, 
/* msg =   2390, deg =  6 */     88,    463,   1424,   2519,   3798,   4626, 
/* msg =   2391, deg =  6 */    573,   1635,   2375,   3412,   4490,   4839, 
/* msg =   2392, deg =  6 */    563,   1713,   1808,   2458,   2586,   3966, 
/* msg =   2393, deg =  6 */    187,   1373,   2205,   2634,   2929,   3762, 
/* msg =   2394, deg =  6 */    503,   1087,   1365,   3185,   4124,   4358, 
/* msg =   2395, deg =  6 */    318,    939,   2351,   2963,   3711,   4317, 
/* msg =   2396, deg =  6 */    405,    936,   2178,   3938,   4252,   4768, 
/* msg =   2397, deg =  6 */   1078,   1236,   1964,   3143,   4122,   4690, 
/* msg =   2398, deg =  6 */    234,   1806,   2118,   2573,   3439,   3994, 
/* msg =   2399, deg =  6 */     72,    842,   1126,   2646,   3105,   4106, 
/* msg =   2400, deg =  6 */    239,   1378,   2228,   2683,   2867,   3716, 
/* msg =   2401, deg =  6 */      2,    524,   1405,   2467,   3805,   4681, 
/* msg =   2402, deg =  6 */    330,    897,   2359,   2906,   3716,   4248, 
/* msg =   2403, deg =  6 */    106,    526,   1486,   2537,   3755,   4718, 
/* msg =   2404, deg =  6 */    666,   1717,   2441,   3454,   4571,   4830, 
/* msg =   2405, deg =  6 */     55,    856,   1123,   2593,   3082,   4120, 
/* msg =   2406, deg =  6 */    449,   1240,   2312,   2760,   3646,   4077, 
/* msg =   2407, deg =  6 */      8,    434,   1454,   2473,   3715,   4731, 
/* msg =   2408, deg =  6 */   1551,   1772,   1944,   3319,   3573,   4424, 
/* msg =   2409, deg =  6 */     62,    449,   1368,   2578,   3706,   4628, 
/* msg =   2410, deg =  6 */    572,   1683,   2446,   3444,   4541,   4878, 
/* msg =   2411, deg =  6 */    579,    698,   2114,   2874,   3809,   4472, 
/* msg =   2412, deg =  6 */    580,   1741,   1777,   2580,   2637,   3982, 
/* msg =   2413, deg =  6 */    108,    164,   2100,   3374,   3453,   3598, 
/* msg =   2414, deg =  6 */    328,    867,   2243,   3867,   4314,   4836, 
/* msg =   2415, deg =  6 */    775,   1324,   2008,   3063,   4605,   4728, 
/* msg =   2416, deg =  6 */    759,   1119,   1625,   3143,   3330,   4247, 
/* msg =   2417, deg =  6 */     59,    889,   1153,   2625,   3119,   4155, 
/* msg =   2418, deg =  6 */     77,    249,   2145,   3289,   3472,   3640, 
/* msg =   2419, deg =  6 */    335,   1079,   1761,   2760,   3114,   4501, 
/* msg =   2420, deg =  6 */    397,    958,   1742,   2770,   2999,   4532, 
/* msg =   2421, deg =  6 */   1568,   1888,   1986,   3339,   3628,   4403, 
/* msg =   2422, deg =  6 */    748,   1283,   1956,   3083,   4529,   4678, 
/* msg =   2423, deg =  6 */    264,   1436,   2217,   2716,   2936,   3724, 
/* msg =   2424, deg =  6 */    276,    872,   2326,   2930,   3683,   4303, 
/* msg =   2425, deg =  6 */    227,   1410,   2241,   2674,   2973,   3805, 
/* msg =   2426, deg =  6 */   1055,   1298,   1929,   3205,   4123,   4644, 
/* msg =   2427, deg =  6 */    773,   1126,   1540,   3234,   3326,   4254, 
/* msg =   2428, deg =  6 */    391,   1052,   1767,   2771,   3090,   4547, 
/* msg =   2429, deg =  6 */    262,   1790,   2106,   2517,   3423,   3958, 
/* msg =   2430, deg =  6 */    278,    881,   2249,   3815,   4309,   4772, 
/* msg =   2431, deg =  6 */     37,    215,   2048,   3316,   3425,   3548, 
/* msg =   2432, deg =  6 */    253,   1430,   2237,   2702,   2895,   3702, 
/* msg =   2433, deg =  6 */    517,   1284,   2343,   2826,   3639,   3952, 
/* msg =   2434, deg =  6 */    516,   1246,   2363,   2825,   3654,   4009, 
/* msg =   2435, deg =  6 */    179,   1820,   2169,   2560,   3450,   4027, 
/* msg =   2436, deg =  6 */     82,    438,   1417,   2462,   3707,   4692, 
/* msg =   2437, deg =  6 */     35,    531,   1465,   2500,   3720,   4658, 
/* msg =   2438, deg =  6 */    439,   1016,   1435,   3258,   4194,   4429, 
/* msg =   2439, deg =  6 */    286,    821,   2192,   3819,   4265,   4790, 
/* msg =   2440, deg =  6 */    653,    682,   2069,   2857,   3847,   4417, 
/* msg =   2441, deg =  6 */    186,   1893,   2071,   2567,   3527,   3949, 
/* msg =   2442, deg =  6 */    580,   1689,   2317,   3448,   4547,   4886, 
/* msg =   2443, deg =  6 */    174,   1832,   2154,   2523,   3464,   4003, 
/* msg =   2444, deg =  6 */     60,    174,   2085,   3384,   3475,   3579, 
/* msg =   2445, deg =  6 */    289,    861,   2314,   2871,   3673,   4349, 
/* msg =   2446, deg =  6 */   1050,   1237,   2010,   3139,   4156,   4749, 
/* msg =   2447, deg =  6 */   1570,   1788,   1949,   3336,   3549,   4388
};

